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

The Three-Valued Sentential Logical Structure Based on the Open-World Assumption

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

This paper concentrates on the logical structure of the propositions defined on the set of possible worlds which satisfies Open World Assumption.The three valued sentential logic based on the Open World Assumption(SLO)is developed from Ju Shier(1996,1997);the semantics and formal axiomatic system of SLO are given;and SLO is proved to have consistency and adequacy.