可拓策略存在性

论文简介

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

论文截图

版权：如无特殊注明，文章转载自网络，侵权请联系cnmhg168#163.com删除！文件均为网友上传，仅供研究和学习使用，务必24小时内删除。