Pages that link to "Item:Q992009"
From MaRDI portal
The following pages link to Semisimplicity and the discriminator in bounded BCK-algebras (Q992009):
Displaying 9 items.
- Semisimples in varieties of commutative integral bounded residuated lattices (Q332072) (← links)
- On the variety generated by bounded pseudo-BCK-algebras (Q616842) (← links)
- Finitely axiomatizable varieties of BCK-algebras (Q1059653) (← links)
- Semisimplicity of \(\mathcal B(E)''\) (Q1766533) (← links)
- Semisimplicity, EDPC and discriminator varieties of residuated lattices (Q1770976) (← links)
- Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator (Q1935561) (← links)
- Semisimple varieties of modal algebras (Q2433105) (← links)
- Bounded BCK-algebras and their generated variety (Q3437044) (← links)
- Inconsistency lemmas in algebraic logic (Q5396222) (← links)