直觉皱逻辑,intuitionist logic

1)intuitionist logic
直觉皱逻辑

2)logic intuition
逻辑直觉
1.
But in man’s logic intuition ,/p∧p/=0 .
但是 ,在人们的“逻辑直觉”中 ,/p∧p/=0。


更多例句>>

3)intuition and logic
直觉与逻辑

4)fuzzy logic
直觉模糊逻辑
例句>>

5)intuitionistic fuzzy logic
直觉模糊逻辑
1.
The paper gives a definition of intuitionistic fuzzy logic “negation” operators and also discusses some of its properties.
给出了直觉模糊逻辑非算子的定义,讨论了非算子的一些性质。


2.
In this paper, the “and” operators and the “or” operators of intuitionistic fuzzy logic are studied herein.
研究了直觉模糊逻辑“与”、“或”算子,给出了两种新型直觉模糊逻辑算子,并研究了直觉模糊逻辑“与”、“或”算子的t- 范及t- 余范的性


3.
The definitions of implication perators in intuitionistic fuzzy logic are proposed and consequently their properties are systematicly studied.
给出了直觉模糊逻辑“蕴涵”算子的定义，并对它的性质做了较为系统的研


更多例句>>

6)intuitionstic fuzzy logic
直觉模糊逻辑
1.
Extended operators of the "and" operators and "or" operators of intuitionstic fuzzy logic are studied.
本文研究了直觉模糊逻辑“与”、“或”算子的推广算子 ,给出了直觉模糊逻辑 g-范及 (λ,φ) -并的定义 ,并讨论了直觉模糊逻辑 g-范及 (λ,φ) -并的性质及表现定


2.
On the basis of systematic studying to the intuitionstic fuzzy logic “negation”, “and”, “or” and “implication” operators by the literatures \, the homomorphism relations between a group of the logic operators (\%D,T,⊥, θ,h\%) and fuzzy logic operators (\,\%T,⊥,θ,h\%) are discussed from the viewpoint of algebra.
在文献 [1 ,2 ]对直觉模糊逻辑“非”、“与”、“或”及“蕴涵”算子进行了系统的研究基础上 ,本文将从代数观点来研究逻辑算子组 (D,T,⊥ ,θ,h)与模糊逻辑算子组 ([0 ,1 ],T,⊥ ,θ,h)之间的同态关系。


3.
On the basis of the above ,the isomorphism between intuitionstic fuzzy logic operator group and classic fuzzy logic.
文[2]、[3]，[4]分别给出了直觉模糊逻辑“非”、“与”、“或”及“蕴涵”算子的定义，并讨论了它们的性质。


更多例句>>


补充资料：展形(直觉主义逻辑中的)


展形(直觉主义逻辑中的)
spread (in intuitionistic logic)

　　展形(直觉主义逻辑中的)「sPread(in fotul柱.心stiel叼c);n0ToK] 直觉主义数学的一个概念(见直觉主义(int山石011-ism)).它是一个总体，一个种类(species)，由一些正整数的有限序列(见多元组(t叩le”所组成;这些有限序列称为展形的结点(刀浏es)(或展形的容许序列(ad创ssible seq朗nces)).更精确地说，一个自然数序列的种类n称为一个展形(sPread)，如果如下的条件得到满足:l)存在一个有效的规律a(所谓的展形定律(印read恤w))，利用它对任意序列可以确定这个序列是否为n的一个结点.2)空序列<>是任何展形的一个结点.3)如果序列是展形的一个结点，那么它的任何形如(i簇机)的初始序列也是n的一个结点.4)如果序列<拜，，…，n，)是n的一个结点，那么存在一个正整数k，使得为原点的一无限树.一个选择序列仪(或者更一般地，一个将自然数转换为自然数的任意有效函数)称为展形n的元素(elementofthespread)记为以任fl，如果对任意。，序列<:(O)，…，二(。一l))是fl的一个结点.在应用上人们经常要处理有标记的展形.一个有标记的展形(label】ed sPread)r由一个展形n和一个有效的规则r。(通常称为补足展形定律(c omPle-业ntary sPread law))组成，r。使n每一个结点附属一个对象rn(司.因此存在着一个在展形n的每一个元素和由定律r。给出的对象序列之间的自然对应. 在形式直觉主义数学分析的语言里一个展形是由一个函数一二它的分布定律给出的.在这种观点之下人们考虑标准的原始递归的在自然数序列与自然数之间的一对一的对应关系.让零元组<)与O对应，让两个序列的连接被编码成原始递归函数x’y，以及让又表示由一个元素x所组成的序列.论断“对应于x的序列是由“给出的展形的结点”被写成a(x)=0.这时，描述“函数a定义一个展形”的概念的公式SPr(a)被写成 a(0)=0%26丫x夕(a(x’夕)二0 Oa(x)=0)%26 %26丫x(a(x)“0。日夕(a(x’夕)“0))的形式.最后，如果丽(n)表示序列<“(O)，…，“(n一l)>所对应的编码数，其中n是序列的长度，那么公式“6a(“:是由a给出的展形的元素”)就被写成为丫xa(面(x))=0. 在数学基础中展形概念的推广，其中自然数序列代之以更为复杂的对象的序列(例如由选择序列所组成的序列)，也被加以考虑.
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。

直觉皱逻辑,intuitionist logic