首页 | 官方网站   微博 | 高级检索  
     

悖论逻辑的表演算
引用本文:林作铨,李未.悖论逻辑的表演算[J].软件学报,1996,7(6):345-353.
作者姓名:林作铨  李未
作者单位:汕头大学计算机科学研究所,汕头,515063;汕头大学计算机科学研究所,汕头,515063
基金项目:本文研究得到国家自然科学基金,国家863高技术计划与李嘉诚学术基金,国家基础研究攀登计划资助.
摘    要:悖论逻辑LP是一个超协调逻辑,发展超协调逻辑(LP)的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点:就是一些在经典逻辑中有效的推理在LP中不再有效;极小悖论逻辑LPm能克服这个缺点,使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑.LP和LPm原来都只给出语义定义,虽然已有LP的证明论,但如何得到一个LPm的证明论仍是一个未解问题.本文提出了一种可靠与完全的表演算作为LP与LPm的证明论.

关 键 词:表演算    超协调逻辑    悖论逻辑    极小悖论逻辑    极小非协调模型  
修稿时间:1995/3/28 0:00:00

TABLEAUX FOR LOGIC OF PARADOX
Lin Zuoquan and Li Wei.TABLEAUX FOR LOGIC OF PARADOX[J].Journal of Software,1996,7(6):345-353.
Authors:Lin Zuoquan and Li Wei
Affiliation:Institute o.f Computer Science Shantou Uniuersity Shantou 515063
Abstract:The LP (logic of paradox) is a paraconsistent logic. One of the motivationsbehind paraconsistent logic, namely LP, is that it should not allow that everything followsfrom a single contradiction. However it has one important drawback: that some classicalinferences would be invalid in LP. The LP.(logic of minimal paradox) can overcome thisdrawback, such that paraconsistent logic would be equivalent to classical logic when therewas not direct effect of a contradiction. Originally, LP and LP. were only defined in semantic. Although some proof theories for LP were introduced, it has left open how to obtain a satisfactory proof theory for LP.. This paper propose the sound and completestableaux with respect to the semantics of LP and LP., respectively.
Keywords:Tableaux  paraconsistent logic  logic of paradox  logic of millinlal paradox  minimally Inconsistent models  
本文献已被 CNKI 维普 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号