论文标题
BPL，IPL和OL的统一关系语义，无脱节
A unified relational semantics for BPL, IPL and OL -- axiomatization without disjunction
论文作者
论文摘要
在本文中，我们提出了一种命题语言的关系语义，该语义统一了直觉逻辑的关系语义，即维瑟（Visser）的基本命题逻辑和正交学。分别以语言$ \ {\ bot，\ land，\ neg \} $和$ \ {\ bot，\ land，\ to \} $工作，我们将这种基本逻辑以及对应于帧条件的不同组合的更强逻辑化：反射性，对称性，对称性，对称性和交叉性。我们还将这些命题逻辑的翻译为模态逻辑。
In this paper, we propose a relational semantics of propositional language, which unifies the relational semantics of intuitionistic logic, Visser's Basic Propositional Logic and orthologic. Working in language $\{\bot,\land,\neg\}$ and $\{\bot,\land,\to\}$ respectively, we axiomatize this basic logic as well as stronger ones corresponding to different combinations of frame conditions: reflexivity, symmetry, and transitivity. We also provide translations from these propositional logics into modal logics.
