2) n-valued Lukasiewicz logic system
n值Lukasiewicz逻辑系统
3) lukasiewicz 3-valued logic systems
三值Lukasiewicz逻辑系统
1.
The conditional truth degree of formulas in lukasiewicz 3-valued logic systems L_3
三值Lukasiewicz逻辑系统L_3中命题的条件真度
4) Lukasiewicz logic system
Lukasiewicz逻辑系统
1.
A kind of partition on F(S) in Lukasiewicz logic system;
F(S)在Lukasiewicz逻辑系统中的一种分划
2.
BZ]: Theory of generalized tautology in logic system , W and W k is generalized and applied to Lukasiewicz logic system.
将逻辑系统 W ,W ,Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中 ,主要结果是 :得到了逻辑公式集F(S)在该系统中关于﹁同余的分划 ;证明了在该逻辑系统中对每个无理数α而言 ,不存在可达α 重言式 ,且对每个实数α而言 ,不存在可达α+ 重言式 ;给出了广义重言式、广义矛盾式各类之间的关系定理。
5) Lukasiewicz propositional logic system
Lukasiewicz命题逻辑系统
1.
This paper provides the solution to the VDF problem in more general versions of ukasiewicz propositional logic systems.
文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论,首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件,其次构造性地解决了Ln、La和Lc中的VDF问题。
6) proposition fuzzy logic
多值逻辑系统
1.
Integreted resemblance degree and peseudo-distances in Lukasiewicz proposition fuzzy logic;
Lukasiewicz多值逻辑系统中的相似度及伪距离
补充资料：多值逻辑
| 多值逻辑 many-valued logic 一种非经典的逻辑系统。在经典逻辑中，每一个命题皆取真假二值之一为值 ，每一命题或者真或者假 。但实际上，一个命题可以不是二值的。命题可以有三值，推而广之，还可以有四值，五值。因此，对每一自然数n，有n值，以至于无穷多值。研究这类命题之间逻辑关系的理论，即为多值逻辑。多值逻辑建立于20世纪20年代初，由卢卡西维茨和美国逻辑学家E.L.波斯特创建。在60年代获得了新的推广，从多值的线序域推广到多值的偏序域，建立了格值逻辑。70年代后，多值逻辑被用于计算机科学和人工智能等方面。多值逻辑和经典逻辑一样，也可以用公理方法系统化，建立演算系统。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条