作　　者： ;

机构地区： 中山大学人文科学学院逻辑与认知研究所

出　　处： 《中山大学学报（社会科学版）》 2006年第2期76-78,共3页

摘　　要： 经典逻辑是建立在封闭世界预设的基础上的,但逻辑系统也可以建立在开放世界预设的基础上。鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。该文将对这一逻辑建立系统,并证明其元逻辑性质。 Classical logic is established on the basis of a close world,and it can be used in reasoning only if all information is known.Several years ago,professor Ju Shi-er advanced that reasoning could proceed based on an open world,proposing an assumption of a 3-valued propositional logic based on an open world.The paper will give an axiomatic system for this logic and strictly prove its metalogical properties.

关 键 词： 公理系统 弱完全性 强完全性 一致性

领　　域： [理学] [理学]