基于开放世界预设的3—值逻辑的列表证明系统

发布时间：2019-08-03 20:03

【摘要】：鞠实儿等(2003)在开放世界预设和真值条件理论基础上,构造了3-值语句演算系统SLO及其形式语义理论。该文采用Priest(2001)列表证明的表述形式,结合Fitting(1995)多值逻辑列表证明实质,克服两者的一些缺陷,给出了一种改良的3-值逻辑列表证明方法。针对SLO的形式语义,该文给出各个联结词的列表证明规则,构造出列表证明系统SLO*,并且证明了这一系统相对SLO语义是可靠的和完全的。
[Abstract]:Ju Shier et al. (2003)constructed SLO and its form semantic theory based on the theory of open world preset and true value condition. In this paper, a modified 3-value logical list proof method is presented by using the form of Priest(2001)list certification and combining Fitting(1995)multi-valued logic list to prove the essence of both. Aiming at the formal semantics of SLO, this paper gives the list proof rules of each combination word, constructs the list proof system SLO*, and proves that this system is reliable and complete with respect to SLO semantics.
【作者单位】： 中山大学逻辑与认知研究所 中山大学逻辑与认知研究所
【基金】：教育部人文社科重点研究基地重大项目
【分类号】：B81

【参考文献】

相关期刊论文 前1条

1 鞠实儿;论可能世界集合的封闭性与否定联结词的关系[J];自然辩证法研究;1997年11期

【共引文献】

相关期刊论文 前1条

1 倪荫林;推理形式问题辨正──兼与龚启荣先生商榷[J];锦州师范学院学报(哲学社会科学版);1999年01期

相关博士学位论文 前1条

1 郭佳宏;理想自省主体的信念修正[D];中山大学;2006年

【相似文献】

相关期刊论文 前10条

1 朱子南;;“校代表证”的使命[J];世纪;2008年02期

2 孙云晓;郑新蓉;;一个老师的建议[J];上海教育;2006年Z1期

3 丁晓平;;表情是我们生活的表语[J];解放军生活;2006年04期

4 田成刚;;晏阳初平民教育与乡村建设实践述论——以定县为中心的考察[J];历史教学问题;2006年03期

5 谭文华;;波普尔反归纳思想试探——兼论归纳与演绎的关系[J];山东农业大学学报(社会科学版);2006年03期

6 徐明;;不伦不类开放类 评鞠实儿的开放类逻辑[J];科学文化评论;2006年04期

7 康宏逵;;又不忍沉默[J];科学文化评论;2006年04期

8 王志;耿志民;欧阳询;任萍;;吴青:随身携带《宪法》的人大代表[J];书摘;2006年07期

9 杨广敏;徜徉于道器之间——中国陶瓷艺术大师戚培才的艺术追求[J];陶瓷研究;2005年01期

10 陈建飞;穆时英小说现代性之我见[J];中文自学指导;2005年03期

相关会议论文 前10条

1 张斌;宋晓伟;徐君;闫文付;于吉红;邓风;徐如人;;有机模板剂在相似晶化条件下的结构导向能力研究[A];中国化学会第27届学术年会第08分会场摘要集[C];2010年

2 ;第六届全国口腔种植学术会参会须知[A];第六届全国口腔种植学术会议论文汇编[C];2009年

3 谭素娟;;试论《金匮要略》下利病辨病思路与病机转变规律[A];仲景医学求真（续三）[C];2009年

4 郭华;;朱肱《南阳活人书》治伤寒学术思想探析[A];仲景医学求真（续三）[C];2009年

5 朱红梅;;浅析《伤寒论》中否定性资料的辨证意义[A];中华中医药学会中医诊断学分会第十次学术研讨会论文集[C];2009年

6 李阳福;;对肾病综合征的朝医治疗[A];东北三省及内蒙古地区遗传学研究进展学术研讨会论文汇编[C];2009年

7 ;食品功能和健康声称高层论坛(SFFFHC)会议须知[A];第六届学术研讨会 食品功能和健康声称高层论坛会议资料[C];2009年

8 陈旭虹;;学习《伤寒论.太阳病篇》心得[A];浙江省中医药学会眼科分会2009继续教育学习班论文集[C];2009年

9 丁世幸;;《伤寒论》痛证治法述要[A];第八次全国中医药传承创新与发展学术研讨会论文集[C];2009年

10 ;会议指南[A];第六届中国美容与整形医师大会;第七届东方国际美容外科会议;第97届日本美容外科学会大会论文汇编[C];2009年

相关重要报纸文章 前10条

1 王志强　记者 邵海峰;首个“全职能、一站式”办税服务厅建成[N];大连日报;2010年

2 本报评论员 唐彬;当以更大热情推动东莞进步[N];东莞日报;2010年

3 魏文浩　河北省保定市清苑县中医医院 付骞 北京中医药大学东直门医院;姜良铎辨治四时感冒经验[N];中国中医药报;2010年

4 本报记者 金艾　实习生 谢娟娟;毕节地区地税局创新方法服务非公企业[N];贵州日报;2010年

5 张新生　于涛;涉税业务“一窗通办”[N];济宁日报;2010年

6 张新生　于涛;市区国税局办税服务又增新场所[N];济宁日报;2010年

7 四川省达州市绿州保健中心 欧阳军;临床常用方剂对比(四)[N];中国中医药报;2009年

8 云南省中医医院药剂科 韩尚清;中医对饮食的宜与忌[N];保健时报;2009年

9 通讯员田汉清 刘庚;市国税局扎实推进车辆购置税减征工作[N];孝感日报;2009年

10 记者 张志勇;国税地税推广联合办税登记[N];江西日报;2009年

相关博士学位论文 前2条

1 李成卫;表里的界限[D];北京中医药大学;2005年

2 任永欣;紫苏叶挥发油的抗炎作用及机理研究[D];成都中医药大学;2002年

相关硕士学位论文 前7条

1 王宇光;O，O-二乙基甲基亚膦酸酯的合成及应用研究[D];浙江工业大学;2004年

2 张建;双黄连滴剂治疗小儿外感发热风热袭表证的临床研究[D];南京中医药大学;2004年

3 辛清泉;会计盈余质量：理论分析与经验证据[D];福州大学;2004年

4 张新力;宣肺透解法治疗上呼吸道感染的初步研究[D];北京中医药大学;2004年

5 郑惠仁;从《伤寒论》辨太阳病脉证并治篇的分析对辛温解表法的理论研究[D];北京中医药大学;2002年

6 王慧;信息技术环境下建构开放型知识表证系统的教学策略[D];东北师范大学;2002年

7 何丽清;小青龙汤证多形性的临床观察和文献研究[D];成都中医药大学;2001年

，

本文编号：2522770