Pages that link to "Item:Q3437044"
From MaRDI portal
The following pages link to Bounded BCK-algebras and their generated variety (Q3437044):
Displaying 10 items.
- Semisimples in varieties of commutative integral bounded residuated lattices (Q332072) (← links)
- On good EQ-algebras (Q409738) (← links)
- On the variety generated by bounded pseudo-BCK-algebras (Q616842) (← links)
- Free-decomposability in varieties of pseudocomplemented residuated lattices (Q763308) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- Representable good EQ-algebras (Q989677) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- EQ-algebras (Q1043290) (← links)
- Inconsistency lemmas in algebraic logic (Q5396222) (← links)
- Lattice BCK logics with Modus Ponens as unique rule (Q5419214) (← links)
