Bounded BCK-algebras and their generated variety

DOI10.1002/MALQ.200610040MaRDI QIDQ3437044zbMATH OpenOpenAlexFDO

Authors Joan Gispert i Brasó, Antoni Torrens

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

bounded BCK-algebrasbounded commutative integral residuated latticesfree algebraspocrimssemisimple algebrassimple algebras

Mathematics Subject Classification ID

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

Recommendations

• On the variety generated by bounded pseudo-BCK-algebras
• scientific article; zbMATH DE number 4019066
• Semisimplicity and the discriminator in bounded BCK-algebras
• On the quasivariety of BCK-algebras and its subvarieties
• scientific article; zbMATH DE number 3880690

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Impossibility of defining the class of \(L_ 0\)-algebras by means of identities

Cited in

(22)

• EQ-algebras
• No non-trivial quasivariety of BCK-algebras has decidable first order theory
• Every BCK-algebra is a set of residuables in an integral pomonoid
• On the quasivariety of BCK-algebras and its subvarieties
• A representation of bounded commutative BCK-algebras
• scientific article; zbMATH DE number 4019066 (Why is no real title available?)
• Semisimples in varieties of commutative integral bounded residuated lattices
• scientific article; zbMATH DE number 3871356 (Why is no real title available?)
• scientific article; zbMATH DE number 3875353 (Why is no real title available?)
• scientific article; zbMATH DE number 3880689 (Why is no real title available?)
• scientific article; zbMATH DE number 3933072 (Why is no real title available?)
• NONE OF THE VARIETY En, n>2, IS LOCALLY FINITE
• On good EQ-algebras
• The variety of all commutative BCK-algebras is generated by its finite members as a quasivariety
• scientific article; zbMATH DE number 247100 (Why is no real title available?)
• Inconsistency lemmas in algebraic logic
• Lattice BCK logics with modus ponens as unique rule
• 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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3437044)