The following pages link to (Q4695517):
Displaying 10 items.
- Conditions for permutability of congruences in implication algebras (Q841165) (← links)
- Implication algebras and the Metropolis-Rota axioms for cubic lattices (Q1346091) (← links)
- Conjunctors and their residual implicators: characterizations and construction methods (Q2462188) (← links)
- (Q3086527) (← links)
- (Q3148081) (← links)
- (Q3175394) (← links)
- (Q4544142) (← links)
- (Q5472757) (← links)
- Endoprimal implication algebras (Q5932478) (← links)
- Implicational lattices and generalization of Stone's representation theorem (Q5955902) (← links)