Discrete Dualities for Heyting Algebras with Operators

and

https://doi.org/10.3233/FUN-2007-811-318

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

Get full access to this article

View all access options for this article.