The following pages link to (Q4856909):
Displayed 8 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)
- Geometrical methods in Wajsberg hoops (Q1858223) (← links)
- Free algebras in varieties of Stonean residuated lattices (Q2466756) (← links)