Pages that link to "Item:Q1935561"
From MaRDI portal
The following pages link to Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator (Q1935561):
Displaying 6 items.
- Semisimples in varieties of commutative integral bounded residuated lattices (Q332072) (← links)
- Bounded lattice structured discriminator varieties (Q616628) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← links)
- Semisimplicity, EDPC and discriminator varieties of residuated lattices (Q1770976) (← links)
- Semisimple varieties of modal algebras (Q2433105) (← links)