The following pages link to (Q3159066):
Displaying 5 items.
- Conditions for permutability of congruences in implication algebras (Q841165) (← links)
- Esakia style duality for implicative semilattices (Q1942035) (← links)
- Conjunctors and their residual implicators: characterizations and construction methods (Q2462188) (← links)
- (Q3824398) (← links)
- (Q5754455) (← links)