Aliel Minatti Andrade

Translations between interior preorder structures and coherent neighbourhood systems for intuitionist modal logic

On this article we provide a relation between two inherently different semantic structures for intuitionistic modal logic. We start by recalling the Heyting Algebras, then defining the language and the axioms for the iS4h intuitionistic calculus. We then proceed to analyse two structures discussed on [4] and their rela...