Mathematical Logic Quarterly 53 (2):206-213 (2007)

Abstract
In this paper we prove that the equational class generated by bounded BCK-algebras is the variety generated by the class of finite simple bounded BCK-algebras. To obtain these results we prove that every simple algebra in the equational class generated by bounded BCK-algebras is also a relatively simple bounded BCK-algebra. Moreover, we show that every simple bounded BCK-algebra can be embedded into a simple integral commutative bounded residuated lattice. We extend our main results to some richer subreducts of the class of integral commutative bounded residuated lattices and to the involutive case
Keywords bounded commutative integral residuated lattices  pocrims  semisimple algebras  free algebras  Bounded BCK‐algebras  simple algebras
Categories (categorize this paper)
DOI 10.1002/malq.200610040
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,192
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Logics Without the Contraction Rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.

Add more references

Citations of this work BETA

Inconsistency Lemmas in Algebraic Logic.James G. Raftery - 2013 - Mathematical Logic Quarterly 59 (6):393-406.
Lattice BCK Logics with Modus Ponens as Unique Rule.Joan Gispert & Antoni Torrens - 2014 - Mathematical Logic Quarterly 60 (3):230-238.

Add more citations

Similar books and articles

Bounded BCK-Algebras and Their Generated Variety.J. D. Gispert & Antoni Torrens Torrell - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
Functional Monadic Bounded Algebras.Robert Goldblatt - 2010 - Studia Logica 96 (1):41 - 48.
Monadic Bounded Algebras.Galym Akishev & Robert Goldblatt - 2010 - Studia Logica 96 (1):1 - 40.

Analytics

Added to PP index
2013-12-01

Total views
16 ( #665,797 of 2,507,504 )

Recent downloads (6 months)
1 ( #416,983 of 2,507,504 )

How can I increase my downloads?

Downloads

My notes