Concepedia

Discrete Dualities for Heyting Algebras with Operators

Ewa Orłowska, Ingrid Rewitzky

Fundamenta Informaticae · 2008 · 27 citations · 15 references

Concepts

Abstract

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.

References

15

Boolean Algebras with Operators

Bjarni Jonnson, Alfred Tarski · American Journal of Mathematics · 1952 · 764 citations

, , +8

Boolean Algebras with Operators. Part I

Bjàrni Jónsson, Alfred Tarski · American Journal of Mathematics · 1951 · 757 citations

, , +10

Representation of Distributive Lattices by means of ordered Stone Spaces

H. A. Priestley · Bulletin of the London Mathematical Society · 1970 · 614 citations

, , +8

Ordered Topological Spaces and the Representation of Distributive Lattices

H. A. Priestley · Proceedings of the London Mathematical Society · 1972 · 405 citations

, , +12

Positive modal logic

J. Michael Dunn · Studia Logica · 1995 · 152 citations