1) Atanassov Intuitionistic Logic
Atanassov直觉主义逻辑
2) intuitionistic logic
直觉主义逻辑
1.
The study facilitated the understanding of the intension of intuitionistic logic and the relation with other nonclassical logic.
介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关
3) Intuitionistic quantified modal logic
直觉主义量词模态逻辑
4) Atanassov logical system
Atanassov逻辑
1.
The algebra and subalgebra on limited Atanassov logical system are discussed, and the sufficient and necessary conditions to judge its subalgebra are given, the theory of generalized tautology in logic system W,W,W n which were introduced by Professor Wang Guojun is extended to Atanassov logic system.
讨论了有限Atanassov直觉模糊逻辑代数 ,给出判别其子代数的充要条件 ;并将王国俊教授在逻辑系统W ,W ,Wn 中的广义重言式理论推广并用到Atanassov逻辑中 ,证明了在Atanassov逻辑中不存在绝对重 (假 )言式 ,广义重言式不随系统变大而增多和广义重言式前缀 (α ,β)具有不敏感
5) logic intuition
逻辑直觉
1.
But in man’s logic intuition ,/p∧p/=0 .
但是 ,在人们的“逻辑直觉”中 ,/p∧p/=0。
6) logicalism
逻辑主义
1.
There are two standpoints on relationship between mathematic and logic:logicalism and intuitionism.
关于数学与逻辑的关系存在着逻辑主义和直觉主义2种观点,逻辑主义学派认为数学可以化归于逻辑,直觉主义学派认为逻辑可化归于数学。
补充资料：直觉主义逻辑
直觉主义逻辑
intnitioiiistic logic
直觉主义逻辑[灿时血城吏clo梦c;IUI，妞。HHc二K.JIo-r“Ka」 一个从直觉主义(访t山tio血m)观点来看有效的证明语句的方法集合.在狭义的意义下，直觉主义逻辑指的是A .H即tjng在1936年陈述的直觉主义谓词演算(泊tuitionistic predica记calcul璐).这个演算通常在谓词演算(predical比c目culas)语言中陈述包含直觉主义命题演算(mtuitio而石c propositional calculus)的一切公理模式和推演规则(但是这里用的是谓词演算语言)，外加如下的量词公理和推演法则(qUan石fier axlolr‘汕d由巧讼tion几配s).公理有 丫义A(x)。A(r)和A(t)。日xA(x)以及二推演法则 C OA(x)A(x)。C C。丫xA(x)’习xA(x)。C其中x是一变元，t是语言中的项，且公式C不含义作为一参数. 直觉主义谓词演算的完全性依赖于直觉主义理论的语义原则基础.所以，形式为丫x(P(x)V二p(x))八门二三xP(x)。日xP(x)的构造性选择原理(co璐加义石说se玩tion pticinle)在直觉主义谓词演算中不能被推演出，但在一定的构造主义途径里可以认为是真的.在这方面的另一个例子是所谓单值化原理(助ilbn刀i乙nionp~iPle)的 (二Q。三xP(x))。三x(二Q OP(x))，它在某些直觉主义的解释中为真，且同时在附加了Ch-皿dl论题(Church thesis)的算术理论框架内与构造性选择原理不相容.给定的例子表明，没有对一切实际使用于各直觉主义理论的逻辑基础都合适的完全的直觉主义谓词演算.可能有依赖于不同的语义规定的本质上互异的直觉主义逻辑.推演的直觉主义理论的发展(见逻辑推导(山月份tion，】。乡cal))允许人们在直觉主义框架内精确地陈述许多语义问题，所以K.G团e】证明了关于推演的直觉主义谓词演算的完全性蕴涵对原始递归谓词的Ma那oB的构造选择原理.由这些语义的看法，这是一个倾向谓词演算不完全性的论证.另外已经发现，氏th模型或众口沈模型(KriPke几幻由七)的代数语义的直觉主义逻辑完全性的直觉主义有效的证明.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条