Bounded BCK-algebras and their generated variety

DOI10.1002/MALQ.200610040zbMATH Open1123.06010OpenAlexW2062755128MaRDI QIDQ3437044FDOQ3437044

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

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

zbMATH Keywords

bounded BCK-algebrasfree algebrassimple algebrassemisimple algebraspocrimsbounded commutative integral residuated lattices

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Impossibility of defining the class of \(L_ 0\)-algebras by means of identities

Cited In (22)

• A representation of bounded commutative BCK-algebras
• No non-trivial quasivariety of BCK-algebras has decidable first order theory
• On the variety generated by bounded pseudo-BCK-algebras
• NONE OF THE VARIETY En, n>2, IS LOCALLY FINITE
• Representable good EQ-algebras
• Every BCK-algebra is a set of residuables in an integral pomonoid
• Title not available (Why is that?)
• Title not available (Why is that?)
• Boolean representation of bounded BCK-algebras
• Inconsistency lemmas in algebraic logic
• Lattice BCK logics with modus ponens as unique rule
• Semisimples in varieties of commutative integral bounded residuated lattices
• On the quasivariety of BCK-algebras and its subvarieties
• On good EQ-algebras
• The variety of all commutative BCK-algebras is generated by its finite members as a quasivariety
• Semisimplicity and the discriminator in bounded BCK-algebras
• Title not available (Why is that?)
• EQ-algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Free-decomposability in varieties of pseudocomplemented residuated lattices

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)