Pages that link to "Item:Q3399179"
From MaRDI portal
The following pages link to Strongly representable atom structures of cylindric algebras (Q3399179):
Displaying 12 items.
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- Strong representations of the polycyclic inverse monoids: cycles and atoms. (Q2428648) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
- POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
- Weakly representable atom structures that are not strongly representable, with an application to first order logic (Q3506327) (← links)
- (Q3618753) (← links)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← links)
