Pseudo-BCH Semilattices

Bulletin of the Section of Logic 47 (2):117 (2018)
  Copy   BIBTEX

Abstract

In this paper we study pseudo-BCH algebras which are semilattices or lattices with respect to the natural relations ≤; we call them pseudo-BCH join-semilattices, pseudo-BCH meet-semilattices and pseudo-BCH lattices, respectively. We prove that the class of all pseudo-BCH join-semilattices is a variety and show that it is weakly regular, arithmetical at 1, and congruence distributive. In addition, we obtain the systems of identities defininig pseudo-BCH meet-semilattices and pseudo-BCH lattices.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Pseudo equality algebras.Sándor Jenei & László Kóródi - 2013 - Archive for Mathematical Logic 52 (5-6):469-481.
Ideals in BCK-algebras which are lower semilattices.Marek Palasinski - 1981 - Bulletin of the Section of Logic 10 (1):48-50.
Cellularity of Pseudo-Tree Algebras.Jennifer Brown - 2006 - Notre Dame Journal of Formal Logic 47 (3):353-359.
On the structure of linearly ordered pseudo-BCK-algebras.Anatolij Dvurečenskij & Jan Kühr - 2009 - Archive for Mathematical Logic 48 (8):771-791.
Kite Pseudo Effect Algebras.Anatolij Dvurečenskij - 2013 - Foundations of Physics 43 (11):1314-1338.
Non‐Complementedness and Non‐Distributivity of Kleene Degrees.Hisato Muraki - 1997 - Mathematical Logic Quarterly 43 (3):378-388.
Cellularity and the Structure of Pseudo-Trees.Jennifer Brown - 2007 - Journal of Symbolic Logic 72 (4):1093 - 1107.
Pseudo Treealgebras.M. Bekkali - 2001 - Notre Dame Journal of Formal Logic 42 (2):101-108.

Analytics

Added to PP
2019-01-18

Downloads
6 (#1,454,899)

6 months
5 (#625,697)

Historical graph of downloads
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