直觉主义模态逻辑的内部预序结构与相干邻域系统之间的翻译
Translations between interior preorder structures and coherent neighbourhood systems for intuitionist modal logic
浏览论文内容
中文总结 AI 辅助
本文为直觉主义模态逻辑的两种语义结构建立关联，经分析推导得出文献[3]定义的结构与文献[4]的两种结构语义等价。
中文摘要 AI 辅助
在本文中，我们为直觉主义模态逻辑的两种本质不同的语义结构建立关联。我们先回顾Heyting代数，再定义iS4h直觉主义演算的语言与公理。接着分析文献[4]中讨论的两种结构及其关联。最后，我们探讨文献[3]第6章定义的一种结构，确立其相对于iS4h的可靠性所需性质，最终得出该结构与文献[4]定义的另外两种结构在语义上等价的结论。
英文摘要
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].
