A Minimal Equational Base For Certain Varieties Of Bck-algebras

Bulletin of the Section of Logic 10 (4):152-156 (1981)
  Copy   BIBTEX

Abstract

In [4] Cornish has proved that the variety of commutative BCK-algeb- ras is 2-based and asks whether the variety of implicative BCK-algebras is also such. In this paper we show that the answer to this question is positive. Moreover we show that many of the BCK-varieties under consideration and their nitely based subvarieties have two-element equational base. For the denitions and properties of the used notions the reader is referred to [1] and [5]

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Varieties of commutative BCK-algebras not generated by their finite members.Marek Palasinski - 1983 - Bulletin of the Section of Logic 12 (3):134-135.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
Commutative BCK-algebras do not enjoy the interpolation property.Piotr Krzystek - 1983 - Bulletin of the Section of Logic 12 (2):50-53.
Bounded BCK-algebras and their generated variety.J. D. Gispert & Antoni Torrens Torrell - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
The failure of strong amalgamation property in certain classes of BCK-algebras.Katarzyna Palasinska - 1987 - Bulletin of the Section of Logic 16 (4):176-179.
Ideals in BCK-algebras which are lower semilattices.Marek Palasinski - 1981 - Bulletin of the Section of Logic 10 (1):48-50.
PC-lattices: A Class of Bounded BCK-algebras.Sadegh Khosravi Shoar, Rajab Ali Borzooei, R. Moradian & Atefe Radfar - 2018 - Bulletin of the Section of Logic 47 (1):33-44.
On a problem on BCK-algebras.Marek Palasinski - 1981 - Bulletin of the Section of Logic 10 (2):93-94.
An equational basis for commutative bck-algebras.Barbara Wozniakowska - 1981 - Bulletin of the Section of Logic 10 (3):108-111.
Finitely generated ideals in directed commutative bck-algebra.Barbara Wozniakowska - 1980 - Bulletin of the Section of Logic 9 (4):166-169.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references