Pages that link to "Item:Q387126"
From MaRDI portal
The following pages link to Bare canonicity of representable cylindric and polyadic algebras (Q387126):
Displaying 8 items.
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- Weakly higher order cylindric algebras and finite axiomatization of the representables (Q1005971) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Representable cylindric algebras (Q1821100) (← 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)
- On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality (Q3460522) (← links)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← links)