Discrete Dualities for Heyting Algebras with Operators

Issue title: Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk

Article type: Research Article

Authors: Orłowska, Ewa | Rewitzky, Ingrid

Affiliations: National Institute of Telecommunications Warsaw, Poland. E-mail: E.Orlowska@itl.waw.pl | Department of Mathematical Sciences, University of Stellenbosch, South Africa. E-mail: rewitky@sun.ac.za

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.

Keywords: Discrete duality, Heyting algebra, modal operator, negation, symmetric Heyting algebra, Heyting-Brouwer algebra

Journal: Fundamenta Informaticae, vol. 81, no. 1-3, pp. 275-295, 2007