论文部分内容阅读
本文致力于研究定义在满足开放世界预设的可能世界集合上的命题的逻辑结构。在文献（鞠实儿，１９９６和１９９７）的基础上，本文发展出一种基于开放世界预设的３－值语句逻辑系统（简称ＳＬＯ），给出ＳＬＯ的语义理论，构造相应的形式公理系统，并证明该形式系统具有一致性和恰当性。
基于开放世界预设的3-值命题演算系统
【摘 要】
：
本文致力于研究定义在满足开放世界预设的可能世界集合上的命题的逻辑结构。在文献（鞠实儿，１９９６和１９９７）的基础上，本文发展出一种基于开放世界预设的３－值语句逻辑系统（简称ＳＬＯ），给出ＳＬＯ的语义理论，构造相应的形式公理系统，并证明该形式系统具有一致性和恰当性。
【出 处】
：
中山大学学报：社会科学版
【发表日期】
：
1997年5期
其他文献
《世界人权宣言》是联合国第三次大会通过的重要文件。它对于人权理论发展的主要贡献有两个方面 :第一 ,它空前地扩大了人权享有主体的广泛性。第二 ,它以特殊的方式 ,扩大了人权概念的领域 ,使许多人长期为之进行理论论证的所谓“第二代人权”在世界人权文书中得到确认 ,突破了西方自由主义传统的狭隘解释。但是 ,它毕竟是特定历史条件的产物 ,有着不可忽视的历史局限性。因此 ,与其把它当作神圣的教条 ,不如把它当作需要加以认真反思其合理性的历史文件。
“广东文化”是现在广东省版图内生长、发展着的文化，而不等于“岭南文化”，它以广州为核心、以珠江三角洲为主体，继承传统，依托港台，面向海外，求新求实，具有典型的世俗化、平民化的特征。大众文化、社会文化的丰富多彩、广泛普及，精英文化的逐渐兴起，新经济伦理的产生，标志着近年广东文化的显著成绩；经济建设与文化建设没有同步进行，文化建设与精神文明建设简单等同，重视大众文化建设而忽视高雅文化建设，则反映出广东文化建设的局限。
急性胃粘膜病变出血１１２例临床分析天水市第二人民医院常保旺，王敏我院自１９８４．１０～１９９４．１０月对２０８４例上消化道出血患者进行了内镜检查，其中对４８６例住院患者进行紧急内镜检查，诊断出急性胃粘膜病变出血者１１２例占
没有食品添加剂就没有现代食品工业，食品添加剂是现代食品工业的重要辅料，我们日常生活中所品味到的各种花色品种的美味食品，或多或少都有食品添加剂的功劳，它不但可以改善品质、
2010年3月12日下午，十一届全国人大三次会议新闻中心举行了主题为“工业结构升级和中小企业发展”的集体采访。工业和信息化部部长李毅中出席集体采访并回答问题。李毅中充分
根据国家发展和改革委员会31日发布的消息，从2010年1月1日起，食盐出厂（场）价格（含税）和食盐产区批发价格（含税）每吨提高80元，但市场零售价保持不变。
有关胶质肉瘤的组织发生，认为是在胶质母细胞瘤的基础上由血管周围及脑膜间叶组织增生发生恶变所致［１］。后一种成分以纤维肉瘤和恶性纤维组织细胞瘤类型多见，偶有报告向软骨、骨、