On self‐distributive weak Heyting algebras

Mathematical Logic Quarterly 69 (2):192-206 (2023)
  Copy   BIBTEX

Abstract

We use the left self‐distributive axiom to introduce and study a special class of weak Heyting algebras, called self‐distributive weak Heyting algebras (SDWH‐algebras). We present some useful properties of SDWH‐algebras and obtain some equivalent conditions of them. A characteristic of SDWH‐algebras of orders 3 and 4 is given. Finally, we study the relation between the variety of SDWH‐algebras and some of the known subvarieties of weak Heyting algebras such as the variety of Heyting algebras, the variety of basic algebras, the variety of subresiduated lattices, the variety of reflexive WH‐algebras (RWH‐algebras), and the variety of transitive WH‐algebras (TWH‐algebras).

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

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

Monadic $$k\times j$$ k × j -rough Heyting algebras.Federico Almiñana & Gustavo Pelaitay - 2022 - Archive for Mathematical Logic 61 (5):611-625.
Monadic Distributive Lattices.Aldo Figallo, Inés Pascual & Alicia Ziliani - 2007 - Logic Journal of the IGPL 15 (5-6):535-551.
Nelson algebras through Heyting ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.
Heyting Algebras with Operators.Yasusi Hasimoto - 2001 - Mathematical Logic Quarterly 47 (2):187-196.
Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.

Analytics

Added to PP
2023-08-17

Downloads
17 (#873,341)

6 months
13 (#200,867)

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

Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.
A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
A Closer Look at Some Subintuitionistic Logics.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.

View all 12 references / Add more references