Varieties of three-valued Heyting algebras with a quantifier

, , &
Studia Logica 65 (2):181-198 (2000)
  Copy   BIBTEX

Abstract

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (Q 3 ) of the variety Q 3

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1005211613539

Links

PhilArchive



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

External links

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 Three-Values Heyting Algebras with a Quantifier.Manuel Abad, J. P. Diaz Varela & L. A. Rueda - 2000 - Studia Logica 65 (2):181-198.
Varieties of monadic Heyting algebras. Part III.Guram Bezhanishvili - 2000 - Studia Logica 64 (2):215-256.
Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Monadic $$k\times j$$ k × j -rough Heyting algebras.Federico Almiñana & Gustavo Pelaitay - 2022 - Archive for Mathematical Logic 61 (5):611-625.
On Heyting Algebras with Negative Tense Operators.Federico G. Almiñana, Gustavo Pelaitay & William Zuluaga - 2023 - Studia Logica 111 (6):1015-1036.
Hyper-MacNeille Completions of Heyting Algebras.J. Harding & F. M. Lauridsen - 2021 - Studia Logica 109 (5):1119-1157.
Semisimplicity, EDPC and discriminator varieties of residuated lattices.Tomasz Kowalski - 2004 - Studia Logica 77 (2):255 - 265.
A Duality for the Algebras of a Łukasiewicz n + 1-valued Modal System.Bruno Teheux - 2007 - Studia Logica 87 (1):13-36.
Decidability problem for finite Heyting algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.
The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras.Guram Bezhanishvili, David Gabelaia & Mamuka Jibladze - 2022 - Journal of Mathematical Logic 22 (3).
Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2.Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157-181.
Varieties of pseudo-interior algebras.Barbara Klunder - 2000 - Studia Logica 65 (1):113-136.
Linear Heyting algebras with a quantifier.Laura Rueda - 2001 - Annals of Pure and Applied Logic 108 (1-3):327-343.

Analytics

Added to PP
2009-01-28

Downloads
90 (#182,824)

6 months
13 (#161,691)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Heyting $$\kappa $$-Frames.Hector Freytes & Giuseppe Sergioli - forthcoming - Studia Logica:1-44.
Linear Heyting algebras with a quantifier.Laura Rueda - 2001 - Annals of Pure and Applied Logic 108 (1-3):327-343.

Add more citations

References found in this work

Algebraic Logic, I. Monadic Boolean Algebras.Paul R. Halmos - 1958 - Journal of Symbolic Logic 23 (2):219-222.
Free q-distributive lattices.Roberto Cignoli - 1996 - Studia Logica 56 (1-2):23 - 29.

Add more references