mv-algebra 中文意思是什麼
mv-algebra
解釋
mv-代數-
Some other conditions which the implicative operator of a implication algebra should satisfied in a logic system are given. the relations between mv - algebra and distributive implication algebra, implication algebra with condition ( s ) are gained. some equivalent theories about implication algebra and mv - algebra are proved
對于偏序集上蘊涵代數中的蘊涵運算元引入了一些邏輯條件，得到了偏序集上具有不同條件的蘊涵代數與mv -代數之間的關系，給出了偏序集上蘊涵代數與mv代數之間的幾個等價定理。 -
The second part discusses the properties of residuated lattices satisfying ; gives a necessary and sufficient condition w. r. t. residuated lattices. by means of it, this paper obtains several kinds of important algebra systems such as r0 algebras, mv algebras, bl algebras, and wnm algebras have embeddability ; discusses the relation between lfi algebras and residuated lattices ; gives a necessary and sufficient condition for clfi algebras becoming residuated lattices
第二章：討論了滿足（ * ）式的剩餘格的一些性質；找到了剩餘格可嵌入于全序剩餘格乘積的充要條件；利用這個結果，得到了幾類重要代數系統像r _ 0代數、 mv代數、 bl代數、 wnm代數、蘊涵格等等具有可嵌入性；還討論了lfi代數與剩餘格的關系，給出了clfi代數成為剩餘格的充要條件。 -
Fuzzy logic is studied with algebraic tools in this paper. a kind of algebraic abstract of fuzzy logic, implication algebra on a partial ordered set, is given. the relations between implication algebra and other algebraic structures, such as mv - algebra and heyting algebra etc., and the filter and the structure of implication algebra on a partial ordered set are studied
本文的目的是使用代數工具對模糊邏輯進行研究，給出模糊邏輯的一類代數抽象，即偏序集上的蘊涵代數，研究偏序集上蘊涵代數與其它代數結構，如mv -代數， heyting代數之間的關系，以及偏序集上蘊涵代數的濾子與其結構等。 -
Because mtl algebras are a kind of basic algebra systems, these results are true in other algebra systems such as r0 algebras, mv algebras, bl algebras and wnm algebras finally, the paper proves that two archimedean t - norms are isomophic when their corresponding decreasing generators have certain relation, this work enables us to easily judge if two archimedean are isomophic. this simplifies hajek ' s work to a great extent
第四章：證明了當兩個阿基米德卜范的減生成子具有某種關系時，這兩個阿基米德t范是同構的；這個工作使得僅需判斷兩個阿基米德t范的減生成子在0處的值，便可以搞清楚它們是否同構，這在很大程度上簡化了hdjek的工作
分享友人