基本命题逻辑的模态扩张.pdfVIP

西南大学硕士学位论文 摘要 系统，则可以得到该系统的既带有必然算子又带有可能算子的模态扩张MPL，而这也是本文 希望得到的结果。 以这样方式对基本命题逻辑进行模态扩张之后，得到的模态逻辑类似于直觉主义模态逻 辑，但两者在公理上有很大区别。本文选择了最有影响力的直觉主义模态逻辑系统——费舍 尔·舍维的FS系统——来与MPL的系统进行对比，发现两者除了共有的公理及推理规则之 外，包括K公理在内的三条FS系统的公理在MPL的系统中均存在反模型，以此来说明这三 条公理都不能作为MPL系统的公理或定理。除了这样的不同点，从模型论的理论进行考虑可 以发现，在经典命题逻辑系统、基本命题逻辑系统与直觉主义模态逻辑系统中，一些模型和 框架上的定理在MPL中同样适用，只需要注意将对应的模态部分转化为适用于MPL的形式。 考虑到除了K公理之外的另外两条公理是同时含有必然算子与可能算子的公式，而这两 条公理均被证明在MPL中无效，因而本文尝试将引入必然算子与可能算子所使用的与模态相 对应的可及关系区分开来的方式，以一种偏向代数的方式重新对基本命题逻辑进行了模态扩 张。这样进行的模态扩张得到的模态逻辑同时含有必然算子与可能算子，其模型可以对应到 一个特定的海廷代数上，同时一个符合这样形式的海汀代数也可以对应到某个这样的模态逻 辑模型上。由于存在这样的双向对应，因而本文尝试将模型论与代数上的一些概念与性质对 应到基本命题逻辑的模态扩张上，包括归约、嵌入、同构等概念均可以与该模态逻辑的模型 结合起来。 关键词：基本命题逻辑模态扩张模态系统差异代数 II Abs舰ct Basic isanon-classicalwhichisdi行．erent仔omclassical logic logic propos“ional propositional a11diIltuitionistic totIleclassical logic．Compared propositional109ic，basic logic propositional of hasa上 whichme孤s thedefmitions logic alwaysfalse，锄d negation孤d propositional aredi抒brent仔omclassical tnlm—Value implication propositionallogic．The of勰iInplication ona isno a仉ml-Value倾nsfomaSi11 relation．Negationlonger d印endedspecific的nsitive cl嬲sical ofa isdef-medasme negationproposition propositionimplies propositionallogic，me 上．Addedtobasic meaXiom c觚beⅡ1e of p八(p。q)_q，it logicaleXpaIlSion propositio腿llogic iIltuitioniSti