Varieties of three-valued Heyting algebras with a quantifier
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 3Author's Profile
Other Versions
No versions found
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.
Linear Heyting algebras with a quantifier.Laura Rueda -2001 -Annals of Pure and Applied Logic 108 (1-3):327-343.
Bounded distributive lattices with strict implication.Sergio Celani &Ramon Jansana -2005 -Mathematical Logic Quarterly 51 (3):219-246.
On self‐distributive weak Heyting algebras.Mohsen Nourany,Shokoofeh Ghorbani &Arsham Borumand Saeid -2023 -Mathematical Logic Quarterly 69 (2):192-206.
Monadic $$k\times j$$ k × j -rough Heyting algebras.Federico Almiñana &Gustavo Pelaitay -2022 -Archive for Mathematical Logic 61 (5):611-625.
Expansions of Semi-Heyting Algebras I: Discriminator Varieties.H. P. Sankappanavar -2011 -Studia Logica 98 (1-2):27-81.
Dually hemimorphic semi-Nelson algebras.Juan Manuel Cornejo &HernÁn Javier San MartÍn -2020 -Logic Journal of the IGPL 28 (3):316-340.
A Note on 3×3-valued Łukasiewicz Algebras with Negation.Carlos Gallardo &Alicia Ziliani -2021 -Bulletin of the Section of Logic 50 (3):289-298.
Epimorphism surjectivity in varieties of Heyting algebras.T. Moraschini &J. J. Wannenburg -2020 -Annals of Pure and Applied Logic 171 (9):102824.
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions.Juan Manuel Cornejo &Hanamantagouda P. Sankappanavar -2022 -Bulletin of the Section of Logic 51 (4):555-645.
Analytics
Added to PP
2009-01-28
Downloads
111 (#204,042)
6 months
7 (#614,893)
2009-01-28
Downloads
111 (#204,042)
6 months
7 (#614,893)
Historical graph of downloads
How can I increase my downloads?Author's Profile
Citations of this work
Linear Heyting algebras with a quantifier.Laura Rueda -2001 -Annals of Pure and Applied Logic 108 (1-3):327-343.
References found in this work
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili -1998 -Studia Logica 61 (3):367-402.
Algebraic Logic, I. Monadic Boolean Algebras.Paul R. Halmos -1958 -Journal of Symbolic Logic 23 (2):219-222.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-k24bk uwo