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 .
Similar content being viewed by others
References
Abad, M., and J. P. DÍaz Varela, ‘Free Q-distributive lattices from meet semilattices’, submitted for publication.
Abad, M., and J. P. DÍaz Varela, ‘On some subvarieties of closure algebras’, submitted for publication.
Abad, M., J. P. DÍaz Varela, L. Rueda and A. SuardÍaz, ‘Equational bases for three-valued Heyting algebras with a quantifier’, to appear.
Adams, M. E., ‘Maximal subalgebras of Heyting algebras’, Proceedings of the Edinburgh Mathematical Society 29 (1986), 259-365.
Adams, M. E., and W. Dziobiak, ‘Quasivarieties of distributive lattices with a quantifier’, Discrete Math, 135 (1994), 12-28.
Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, Missouri, 1974.
Bezhanishvili, G., ‘Varieties of monadic Heyting algebras, Part I’, Studia Logica 61 (1998), 367-402.
Blok, W. J., Varieties of interior algebras, Ph.D. Thesis, University of Amsterdam, 1976.
Cignoli, R., ‘Quantifiers on distributive lattices’, Discrete Math. 96 (1991), 183-197.
Cignoli, R., ‘Free Q-distributive lattices’, Studia Logica 56 (1996), 23-29.
Davey, B. A., ‘On the lattice of subvarieties’, Houston J. Math. 5 (1979), 183-192.
Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, Cambridge Univ. Press, Cambridge, 1990.
DÍaz Varela, J. P., ‘Equational classes of linear closure algebras’, to appear.
Halmos, P. R., ‘Algebraic logic I. Monadic Boolean algebras’, Compositio Math. 12 (1955), 217-249.
JÓnsson, B., ‘Algebras whose congruence lattices are distributive’, Math. Scand. 21 (1967), 110-121.
Monteiro, A., ‘Algebras monádicas’, Atas do Segundo Colóquio Brasileiro de Matemática, São Paulo, 1960.
Monteiro, L., ‘Algèbre du calcul propositionnel trivalent de Heyting’, Fund. Math. 74 (1972), 99-109.
Petrovich, A., ‘Equations in the theory of Q-distributive lattices’, Discrete Mathematics 175 (1997), 211-219.
Priestley, H. A., ‘Ordered sets and duality for distributive lattices’, Ann. Discrete Math. 23 (North-Holland, Amsterdam, 1984) 39-60.
Priestley, H. A., ‘Natural dualities for varieties of distributive lattices with a quantifier’, Banach Center Publications, Volume 28, Warszawa 1993, 291-310.
Servi, M., ‘Un'assiomatizzazione dei reticoli esistenziali’, Boll. Un. Mat. Ital. A 16(5) (1979), 298-301.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Abad, M., Díaz Varela, J., Rueda, L. et al. Varieties of Three-Valued Heyting Algebras with a Quantifier. Studia Logica 65, 181–198 (2000). https://doi.org/10.1023/A:1005211613539
Issue Date:
DOI: https://doi.org/10.1023/A:1005211613539