Studia Logica 65 (2):181-198 (2000)

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
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1005211613539
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: 69,114
Through your library

References found in this work BETA

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

Citations of this work BETA

Linear Heyting Algebras with a Quantifier.Laura Rueda - 2001 - Annals of Pure and Applied Logic 108 (1-3):327-343.

Add more citations

Similar books and articles

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.
Varieties of Pseudo-Interior Algebras.Barbara Klunder - 2000 - Studia Logica 65 (1):113-136.
Bounded Distributive Lattices with Strict Implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
Linear Heyting Algebras with a Quantifier.Laura Rueda - 2001 - Annals of Pure and Applied Logic 108 (1-3):327-343.

Analytics

Added to PP index
2009-01-28

Total views
75 ( #152,285 of 2,499,202 )

Recent downloads (6 months)
1 ( #419,059 of 2,499,202 )

How can I increase my downloads?

Downloads

My notes