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 14 items.
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- Axiomatizing hybrid logic using modal logic (Q631084) (← links)
- Monadic bounded algebras (Q708923) (← 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)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Quasi-Modal Equivalence of Canonical Structures (Q2747700) (← links)
- Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
- THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES (Q3577747) (← 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)
