基于开放世界预设的3-值逻辑

摘要：

本文致力于研究定义在满足开放世界预设的可能世界集合上的命题和逻辑结构.在文献”7”的基础上,本文发展出一种基于开放世界预设的3-值语句逻辑系统(简称SLO);给出SLO的语义理论,它的特征是:当一个语句为假时,它的否定的真值不确定;并构造相应的形式公理系统,证明该形式系统具有一致性,有效性和完全性.

关键词： 否定 3-值逻辑 封闭世界预设 开放世界预设 SLO语义理论

作者: 鞠实儿 刘虎

作者单位: 教育部人文社科重点研究基地中山大学逻辑与认知研究所(广州)

会议类型: 国内会议

会议名称: 863计划智能计算机主题学术会议

会议地点: 北京

会议语种:中文

页码: 507-514

在线出版日期: 2001-02-01（万方平台首次上网日期，不代表论文的发表时间）