互逆主义逻辑相关论文
与经典逻辑相比,互逆主义逻辑取消了量词,较好的解决了表达力和可解性的矛盾,能够简洁的实现逻辑定理的推理。互逆主义逻辑将命题......
对于任何蕴涵命题都有建立它的过程和建立之后运用它来推理的过程。经典逻辑的拥护者们认为实质蕴涵的定义使其也能建立实质蕴涵命......
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样，都是三真一假的真值表，但含义却不尽相同。......
提出了古典逻辑中的一些缺陷，分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论，通过归纳复......
互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中，空间曲线是两曲面的交线，在空间曲线中消去一元，即得投影柱面。与此类......
逻辑定理有2种证明方法：逻辑公理系统方法和自然演绎系统方法。对于单逻定理这种逻辑定理，提出一种新的证明方法：在互逆主义逻辑的全......
Carroll Morgan的规则精化方法是一种典型的程序精化方法,是一种形式方法.本文用互逆主义逻辑对其进行了改造:将其中的精化法则改......
提出了形状和鲁比克魔方一样的逻辑魔方，它建立在互逆主义逻辑的半集合定理主辅代数之上，用来描述各种单集合定理和半集合定理．......
文章在简练托出航空航天领域面临的三大新问题之后;紧接着提纲挈领地介绍了超光速率创新体系可应用于航天航空领域的主要成果;然后......
