基于开放世界预设的3-值命题演算系统

摘要

本文致力于研究定义在满足开放世界预设的可能世界集合上的命题的逻辑结构。在文献（鞠实儿，１９９６和１９９７）的基础上，本文发展出一种基于开放世界预设的３－值语句逻辑系统（简称ＳＬＯ），给出ＳＬＯ的语义理论，构造相应的形式公理系统，并证明该形式系统具有一致性和恰当性。