Splittings of a Lattice
From MaRDI portal
Cited in
(20)- Frame based formulas for intermediate logics
- Comparison of MacNeille, canonical, and profinite completions
- Free lattices in some small varieties
- The lattice of quasivarieties of lattices
- The structure of lattices of subframe logics
- Splittings in subreducts of hoops
- Varieties of BL-algebras. III: Splitting algebras
- Splittings in GBL-algebras. I: The general case
- B-frame duality
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- Extending the first-order theory of combinators with self-referential truth
- Splittings in varieties of logic
- Equational Bases and Nonmodular Lattice Varieties
- Varieties of K-lattices
- Universal algebraic methods for non-classical logics
- Quasivarieties of Wajsberg hoops
- Unification via projectivity in varieties of hoops
- Algebraic semantics for a mixed type fragment of IPC
- An almost general splitting theorem for modal logic
- A splitting logic in NExt(KTB)
This page was built for publication: Splittings of a Lattice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5834633)