The following pages link to (Q4856909):
Displayed 22 items.
- Boolean-like algebras (Q353355) (← links)
- Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras (Q472706) (← links)
- Factor congruence lifting property (Q519859) (← links)
- Bounded lattice structured discriminator varieties (Q616628) (← links)
- Generalizations of Boolean products for lattice-ordered algebras (Q1035658) (← links)
- Semiconic idempotent residuated structures (Q1047102) (← links)
- Algebraic and topological results on lifting properties in residuated lattices (Q1677645) (← links)
- Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Geometrical methods in Wajsberg hoops (Q1858223) (← links)
- Tribute to Bjarni Jónsson (Q1991588) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- Free algebras in varieties of Stonean residuated lattices (Q2466756) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- (Q4606689) (← links)
- (Q4612556) (← links)
- VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS (Q5107537) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- (Q5886680) (← links)
- Subreducts and subvarieties of PBZ *-lattices* (Q6170001) (← links)