Extensions of Basic Propositional Logic
Extensions of Basic Propositional Logic
复制标题
基本命题逻辑的扩展
DOI：
10.1142/9789814678001_0011
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Minghui Ma and Katsuhiko Sano
中科院分区：
文献类型：
--
作者：
Pimolluck Jirakunkanok;Katsuhiko Sano and Satoshi Tojo;Minghui Ma and Katsuhiko Sano
维瑟的基本命题逻辑（BPL）的扩展进行了探讨。我们提出了BPL的扩展格：超基本逻辑格。从统一的角度出发，建立了超基本逻辑的逻辑性质，包括强完备性、有限模型性质、析取性质、Post完备性和双常数性质。此外，超基本逻辑嵌入正常模态逻辑的哥德尔-麦肯锡-塔斯基风格的翻译被重新审视。
Extensions of Visser's basic propositional logic (BPL) are explored. We present the lattice of extensions ofBPL: the lattice of superbasic logics. From a uniform perspective, we establish logical properties of superbasic logics, including strong completeness, finite model property, disjunction property, Post completeness, and two constant property. Moreover, the embedding of superbasic logics into normal modal logics by Gödel-McKinsey-Tarski style translations is revisited.