Discrete Dualities for Heyting Algebras with Operators

Discrete dualities are presented for Heyting algebras with various modal operators, for Heyting algebras with an external negation, for symmetric Heyting algebras, and for Heyting-Brouwer algebras.

[1]  Ewa Orlowska,et al.  Relational Representation Theorems for Lattices with Negations: A Survey , 2006, Theory and Applications of Relational Structures as Knowledge Instruments.

[2]  Ewa Orlowska,et al.  Duality via Truth: Semantic frameworks for lattice-based logics , 2005, Log. J. IGPL.

[3]  Viorica Sofronie-Stokkermans.  Priestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics , 2000 .

[4]  L. Maksimova.  Pretabular extensions of LewisS4 , 1975 .

[5]  Luisa Iturrioz.  Symmetrical Heyting Algebras with Operators , 1983, Math. Log. Q..

[6]  C. Rauszer.  Semi-Boolean algebras and their applications to intuitionistic logic with dual operations , 1974 .

[7]  Hilary A. Priestley,et al.  Representation of Distributive Lattices by means of ordered Stone Spaces , 1970 .

[8]  Gisèle Fischer Servi,et al.  Semantics for a Class of Intuitionistic Modal Calculi , 1980 .

[9]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[10]  Leo Esakia,et al.  The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ , 2006, J. Appl. Non Class. Logics.

[11]  Hilary A. Priestley,et al.  Ordered Topological Spaces and the Representation of Distributive Lattices , 1972 .

[12]  G. Servi.  On modal logic with an intuitionistic base , 1977 .

[13]  Ramon Jansana,et al.  Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic , 1999, Log. J. IGPL.

[14]  L. Maksimova.  Pretabular superintuitionist logic , 1972 .

[15]  J. Michael Dunn,et al.  Positive modal logic , 1995, Stud Logica.

[16]  Kosta Došen,et al.  Negation in the Light of Modal Logic , 1999 .

[17]  Ewa Orlowska,et al.  A Kripke-Style and Relational Semantics for Logics Based on Lukasiewicz Algebras , 2006, J. Multiple Valued Log. Soft Comput..

[18]  Ivo Düntsch,et al.  Relational Semantics Through Duality , 2005, RelMiCS.

[19]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[20]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[21]  Guram Bezhanishvili.  Varieties of Monadic Heyting Algebras. Part III , 2000, Stud Logica.