Intuitionistic logic with a dual operation
Sergio Arturo Celani · Institutional Repositories DataBase (IRDB) · 2001
In this paper we study the Intuitionistic Logic with a weak negative modal operator. We introduce the variety of Heyting algebras with a negation operator. We determine the simple and subdirectly irreducible algebras, and we develop a duality between these algebras and certain relational structures. We also prove that some extensions of this logic are canonical and frame complete. Finally, we study the interpolation property for some canonical logics.