INVESTIGADORES
CELANI Sergio Arturo
artículos
Título:
Intuitionistic logic with a dual operation
Autor/es:
SERGIO ARTURO CELANI
Revista:
KOBE JOURNAL OF MATHEMATICS
Editorial:
Kobe University, Kobe
Referencias:
Lugar: Kobe; Año: 2001 vol. 18 p. 1 - 21
ISSN:
0289-9051
Resumen:
We study 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.
