超协调性相关论文
传统的可废除推理研究都是基于协调理论集,该文中我们基于一种超协调逻辑(极小化悖论逻辑LPm),提出了一种新的可废除推理框架。新的框架在......
超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑,它可作为在不完全与不协调知识下常识推理的形式化.给出了命题L......
本文先着重从超越世界的语义学角度,讨论辩证逻辑形式系统Z的超协调性。进而在系统Z的基础上建立一个句法上扩展的超协调系统ZT。......
这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系统作为超协调性的证明论基础......
本文指出LPm逻辑存在的一些问题,给出一种LPm的改进形式-LPmin逻辑,它能解决LPm逻辑存在的问题,并对LPmin以及它与LPm逻辑的关系作了初步分析。......