Bounded BCK-algebras and their generated variety
From MaRDI portal
Publication:3437044
DOI10.1002/malq.200610040zbMath1123.06010MaRDI QIDQ3437044
Antoni Torrens Torrell, Joan Gispert i Brasó
Publication date: 11 May 2007
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200610040
free algebras; simple algebras; bounded BCK-algebras; semisimple algebras; pocrims; bounded commutative integral residuated lattices
06F35: BCK-algebras, BCI-algebras
08C15: Quasivarieties
08B20: Free algebras
08B26: Subdirect products and subdirect irreducibility
Related Items
Inconsistency lemmas in algebraic logic, Lattice BCK logics with Modus Ponens as unique rule, Semisimples in varieties of commutative integral bounded residuated lattices, On good EQ-algebras, On the variety generated by bounded pseudo-BCK-algebras, Free-decomposability in varieties of pseudocomplemented residuated lattices, Boolean representation of bounded BCK-algebras, Representable good EQ-algebras, Semisimplicity and the discriminator in bounded BCK-algebras, EQ-algebras
Cites Work