The following pages link to (Q3148081):
Displaying 9 items.
- Constructing implications and coimplications on a complete lattice (Q279332) (← links)
- Implication algebras and the Metropolis-Rota axioms for cubic lattices (Q1346091) (← links)
- Lattices, closures systems and implication bases: a survey of structural aspects and algorithms (Q1659991) (← links)
- Simple axioms for orthomodular implication algebras (Q1768659) (← links)
- A complete axiomatisation for the logic of lattice effect algebras (Q2239398) (← links)
- (Q3175394) (← links)
- (Q3445014) (← links)
- (Q4695517) (← links)
- Implicational lattices and generalization of Stone's representation theorem (Q5955902) (← links)