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: [email protected] | Department of Mathematical Sciences, University of Stellenbosch, South Africa. E-mail: [email protected]

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