The following pages link to Splittings of a Lattice (Q5834633):
Displayed 9 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)
- Extending the first-order theory of combinators with self-referential truth (Q3138009) (← links)
- Equational Bases and Nonmodular Lattice Varieties (Q5682373) (← links)