Translations between interior preorder structures and coherent neighbourhood systems for intuitionist modal logic
Aliel Minatti Andrade, Rogério Augusto dos Santos Fajardo
Abstract
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 relation. Finally, we discuss about a structure defined on [3, Chapter 6], establishing properties in order for it to be sound with iS4h, and finally conclude that it is semantically equivalent to the other two structures defined by [4].
Create a lesson
Related papers
A minimal type of Morley rank ω in a partial differential field
Piotr Kowalski
Coding is non-robust
Sam Sanders
Scott topologies on products of countable complete Heyting algebras
Xiaoquan Xu
1-genericity and almost everywhere domination
Xuanheng Zhao
Almost-everywhere computation of weak generics relative to r.e. sets
Xuanheng Zhao
On definable Galois theory and definable Galois cohomology in the totally transcendental setting
David Meretzky