Preprint
Aug 2026
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...
Aliel Minatti Andrade, Rogerio Fajardo
· 0 citations