The following pages link to (Q3946165):
Displayed 6 items.
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Ideal determined varieties need not be congruence 3-permutable (Q1319060) (← links)
- Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
- Skew lattices and binary operations on functions (Q2446546) (← links)
- Tolerance numbers, congruence $n$-permutability and BCK-algebras (Q3135968) (← links)
- On annihilators of BCK-algebras (Q4875081) (← links)