On the Variety of Heyting Algebras with Successor Generated by All Finite Chains

José L. Castiglioni,

Hernán J. San Martín


Contrary to the variety of Heyting algebras, finite Heyting algebras with successor only generate a proper subvariety of that of all Heyting algebras with successor. In particular, all finite chains generate a proper subvariety, SLH!, of the latter. There is a categorical duality between Heyting algebras with successor and certain Priestley spaces. Let X be the Heyting space associated by this duality to the Heyting algebra with successor H.
If there is an ordinal  and a filtration S on X such that X =  X, the height of X is the minimun ordinal  ≤  such that Xc  = ∅. In this case, we also say that H has height . This filtration allows us to write the space X as a disjoint union of antichains. We may think that these antichains define levels on this space.
We study the way of characterize subalgebras and homomorphic images in finite Heyting algebras with successor by means of their Priestley spaces. We also depict the spaces associated to the free algebras in various subcategories of SLH!..

[1] R. Balbes and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, Miss. (1974).
[2] H. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer Verlag, New York (1981).
[3] X. Caicedo and R. Cignoli, An algebraic approach to intuitionistic connectives, Journal of Symbolic Logic 66, No.4 (2001), pp. 1620–1636.
[4] J. L. Castiglioni, M. Sagastume and H. J. San Martin, On frontal Heyting algebras, Reports on Mathematical Logic 45 (2010), pp. 201–224..
[5] S. Celani and R. Jansana, Bounded distributive lattices with strict implication, Mathematical Logic Quarterly 51 (2005), pp. 219–246.
[6] R. Cignoli, S. Lafalce and A. Petrovich, Remarks on Priestley duality for distributive lattices, Orden, 8 (1991), pp. 183–197.
[7] L. Esakia, The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic, Journal of Applied Non-Classical Logics 16, No.3-4 (2006), pp. 349–366.
[8] A. Horn, Logic with truth values in a linearly ordered Heyting algebra, J. Symbolic Logic 34 (1969), pp. 395–405.
[9] P. Jonstone, Stone Spaces, Cambridge University Press, 1982.
[10] A. V. Kusnetzov, On the Propositional Calculus of Intuitionistic Provability, Soviet Math. Dokl. 32 (1985), pp. 18–21.
[11] G. Mart´ınez and H. Priestley, On Priestley Spaces of Lattice-Ordered Algebraic Structures, Orden 15 (1998), pp. 297–323.
[12] A. Monteiro, Sur les algebres de Heyting sym´etriques, Portugal. Math. 39 (1980).
[13] P. Morandi, Dualities in Lattice Theory, Mathematical Notes http://sierra.nmsu.edu/morandi/.

Czasopismo ukazuje się w sposób ciągły on-line.
Pierwotną formą czasopisma jest wersja elektroniczna.