Pages that link to "Item:Q1906001"
From MaRDI portal
The following pages link to Elementary generation and canonicity for varieties of Boolean algebras with operators (Q1906001):
Displaying 22 items.
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- Axiomatizing hybrid logic using modal logic (Q631084) (← links)
- Monadic bounded algebras (Q708923) (← links)
- Stability of the Blok theorem (Q998759) (← links)
- Atom structures and Sahlqvist equations (Q1272149) (← links)
- Atom structures of cylindric algebras and relation algebras (Q1377624) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Adjoining units to residuated Boolean algebras (Q1902548) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Quasi-modal equivalence of canonical structures (Q2747700) (← links)
- Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski (Q3150913) (← links)
- Atomless varieties (Q3160556) (← links)
- Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
- THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES (Q3577747) (← links)
- The Elementary Classes of Direct and Boolean Products (Q4304105) (← links)
- Relativised quantification: Some canonical varieties of sequence-set algebras (Q4391430) (← links)
- Mixed algebras and their logics (Q4586236) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- MacNeille completions and canonical extensions (Q5705523) (← links)
- Persistence and atomic generation for varieties of Boolean algebras with operators (Q5954707) (← links)
- Canonicity in power and modal logics of finite achronal width (Q6638232) (← links)
