1) Intuitionistic quantified modal logic
直觉主义量词模态逻辑
2) Atanassov Intuitionistic Logic
Atanassov直觉主义逻辑
3) intuitionistic logic
直觉主义逻辑
1.
The study facilitated the understanding of the intension of intuitionistic logic and the relation with other nonclassical logic.
介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关
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]分别给出了直觉模糊逻辑“非”、“与”、“或”及“蕴涵”算子的定义，并讨论了它们的性质。
补充资料：义务直觉主义(见直觉主义伦理学)
义务直觉主义(见直觉主义伦理学)
obligatory intuitivism
丫lwU zhljue之卜口丫l见义务直觉主义 直觉主义伦理学。(obligatory intuitivism)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条