可拓策略存在性

摘要：

对于∑和A不相容之矛盾问题的解决在经典命题逻辑的范围内是无法实现的,而在可拓逻辑的框架下这是可能的.首先定义了变换、可拓变换、解悖变换等概念,在此基础上,证明了增加型变换、蕴涵型变换和删减型变换化矛盾问题为相容问题的可能性,最后证明了使用变换解决矛盾问题的三种策略的逻辑存在性.

关键词： 矛盾问题 变换 可拓变换 解悖变换

作者: 杜国平

作者单位: 南京大学,现代逻辑与逻辑应用研究所,南京,210093;南京航空航天大学,计算机系,南京,210016

会议类型: 国内会议

会议名称: 全国第十一届可拓学年会

会议地点: 哈尔滨

会议语种:中文

页码: 1091-1093,1107

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