The following pages link to Splittings of a Lattice (Q5834633):
Displaying 16 items.
- An almost general splitting theorem for modal logic (Q809064) (← links)
- A splitting logic in NExt(KTB) (Q995667) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- Comparison of MacNeille, canonical, and profinite completions (Q1013989) (← links)
- Free lattices in some small varieties (Q1144054) (← links)
- The lattice of quasivarieties of lattices (Q1255511) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Splittings in subreducts of hoops (Q2082253) (← links)
- Varieties of BL-algebras. III: Splitting algebras (Q2278840) (← links)
- Splittings in GBL-algebras. I: The general case (Q2329010) (← links)
- B-frame duality (Q2689804) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Extending the first-order theory of combinators with self-referential truth (Q3138009) (← links)
- Splittings in varieties of logic (Q5002194) (← links)
- Equational Bases and Nonmodular Lattice Varieties (Q5682373) (← links)
- Varieties of K-lattices (Q6079407) (← links)
