Lukasiewicz
英
美
网络 卢卡西维兹; 波兰逻辑学家卢卡西维奇; 卢卡谢维奇; 波兰逻辑学家卢卡塞维克兹; 卢卡西维奇
双语例句
- Some Results on the Construction of Strong Implication Operators in the Lukasiewicz System
关于Lukasiewicz系统中强蕴涵算子构造的若干结果 - Metrization on MV-Algebras and Its Application in Lukasiewicz Propositional Logic
MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用 - Generalized Tautology of Lukasiewicz Interval-valued Propositional Logic System
Lukasiewicz区间值命题逻辑的广义重言式 - Therefore, the paper observes and studies Lukasiewicz's many-valued logic theory firstly and mainly.
因此，本文首先并主要考察的是卢卡西维茨的多值逻辑理论。 - Lukasiewicz, as we know, was praised the father of many-valued logic, because it was he who firstly utilized means of modern logic to study many-valued logic and developed his many-valued logic theory systematically.
我们知道，卢卡西维茨被誉为多值逻辑之父，因为正是他于二十世纪二十年代起首先把现代逻辑的方法应运于多值逻辑的研究，从而系统地发展了多值逻辑的理论。 - The Property of Lukasiewicz Implication Algebra
Lukasiewicz蕴涵代数及其性质 - Lukasiewicz's Many-valued Logic and Comparisons between It and Some Logics
卢卡西维茨多值逻辑及其与一些逻辑的比较 - Analytical restriction degree of reverse triple I method for fuzzy reasoning with lukasiewicz's implication operator
模糊推理反向三I的RL型约束度分析 - Last, we will compare it with Lukasiewicz logic.
最后，把它与Lukasiewicz逻辑作比较。 - At the last, discussed the relations of the tautology between Lukasiewicz many valued logic system and classical two valued system.
最后讨论了Lukasiewicz多值逻辑系统与经典二值逻辑系统中重言式之间的关系。 - Chang [ 1] in order to provide an algebraic proof of the completeness theorem of the infinite-valued logic of Lukasiewicz and Tarski.
Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的。 - A kind of partition on F ( S) in Lukasiewicz logic system
F（S）在Lukasiewicz逻辑系统中的一种分划 - In addition, the theorem that a tautology can be got by using upgrade algorithm to non-tautologies within finite times in Lukasiewicz logic system is proved.
还证明了在Lukasiewicz逻辑系统中，重言式可由对非重言式进行有限次升级算法得到。 - An Improvement On The Lukasiewicz Many-valued Logics
罗萨和图尔克特对卢卡西维茨多值逻辑系统的改进 - Rough Algebras and 3-Valued Lukasiewicz Algebras
粗代数与三值Lukasiewicz代数 - Efficient learning algorithm for Fuzzy bi-directional associative memory based on Lukasiewicz's t-Norm
基于Lukasiewiczt-模的模糊双向联想记忆网络的有效学习算法 - This paper gives a proof of the isomorphism theorem between C_B-algebra and Lu3-algebra. Furthermore constructibility of the Lukasiewicz three-valued logic algebra has been given by the two-valued logic algebra.
本文给出CB代数与Lu3代数同构的详细证明，并得到了Lukasiewivcz三值逻辑代数在二值逻辑代数上的可构造性。 - In the second chapter, the accessible generalized tautologies in Lukasiewicz logic system are studied by means of McNaughton function.
第二部分：利用McNaughton函数，研究了Lukasiewicz逻辑系统中的可达广义重言式。 - Through study of MV-algebra and the Lukasiewicz propositional calculus system, we have simplified the definition of MV-algebra and investigated the relation among some logic algebras.
通过对MV代数和Lukasiewicz命题演算系统的研究，我们对MV代数的定义进行了简化，并讨论了MV代数和其它代数之间的关系。