Bounded BCK-algebras and their generated variety

DOI10.1002/malq.200610040zbMath1123.06010OpenAlexW2062755128MaRDI 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

zbMATH Keywords

free algebrassimple algebrasbounded BCK-algebrassemisimple algebraspocrimsbounded commutative integral residuated lattices

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Quasivarieties (08C15) Free algebras (08B20) Subdirect products and subdirect irreducibility (08B26)

Related Items (10)

Semisimples in varieties of commutative integral bounded residuated lattices ⋮ On the variety generated by bounded pseudo-BCK-algebras ⋮ On good EQ-algebras ⋮ Boolean representation of bounded BCK-algebras ⋮ Inconsistency lemmas in algebraic logic ⋮ Lattice BCK logics with Modus Ponens as unique rule ⋮ Representable good EQ-algebras ⋮ Semisimplicity and the discriminator in bounded BCK-algebras ⋮ Free-decomposability in varieties of pseudocomplemented residuated lattices ⋮ EQ-algebras

Cites Work

• Unnamed Item
• Impossibility of defining the class of \(L_ 0\)-algebras by means of identities

This page was built for publication: Bounded BCK-algebras and their generated variety