The following pages link to (Q4237708):
Displaying 18 items.
- Constructing implications and coimplications on a complete lattice (Q279332) (← links)
- Implication algebras and the Metropolis-Rota axioms for cubic lattices (Q1346091) (← links)
- Some operations on lattice implication algebras (Q1599704) (← links)
- Lattices, closures systems and implication bases: a survey of structural aspects and algorithms (Q1659991) (← links)
- (Q3148081) (← links)
- (Q3379170) (← links)
- Multiplies of lattice implication algebras (Q3388475) (← links)
- (Q3413844) (← links)
- (Q4416374) (← links)
- (Q4547904) (← links)
- (Q4695517) (← links)
- Contextual Implications between Attributes and Some Representation Properties for Finite Lattices (Q4924382) (← links)
- (Q5472757) (← links)
- (Q5482122) (← links)
- Generalized convex combination of implications on bounded lattices (Q5858305) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) (Q5946327) (← links)
- Implicational lattices and generalization of Stone's representation theorem (Q5955902) (← links)
