Pages that link to "Item:Q3437044"
From MaRDI portal
The following pages link to Bounded BCK-algebras and their generated variety (Q3437044):
Displaying 18 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)
- No non-trivial quasivariety of BCK-algebras has decidable first order theory (Q1100203) (← links)
- Every BCK-algebra is a set of residuables in an integral pomonoid (Q1111585) (← links)
- On the quasivariety of BCK-algebras and its subvarieties (Q1344842) (← links)
- A representation of bounded commutative BCK-algebras (Q1922850) (← links)
- (Q3030831) (← links)
- (Q3708023) (← links)
- NONE OF THE VARIETY En, n>2, IS LOCALLY FINITE (Q3801613) (← links)
- (Q5288255) (← links)
- Inconsistency lemmas in algebraic logic (Q5396222) (← links)
- Lattice BCK logics with Modus Ponens as unique rule (Q5419214) (← links)