剩餘類代數 的英文怎麼說
中文拼音 [shèngyúlèidàishǔ]
剩餘類代數
英文
residue class algebra- 剩 : Ⅰ動詞(剩餘) be left over; remain Ⅱ形容詞(剩餘的) surplus; remnant
- 餘 : Ⅰ同「余」Ⅰ-Ⅳ1. Ⅱ名詞(姓氏) a surname
- 類 : Ⅰ名1 (許多相似或相同的事物的綜合; 種類) class; category; kind; type 2 (姓氏) a surname Ⅱ動詞...
- 代 : Ⅰ動詞1 (代替) take the place of; be in place of 2 (代理) act on behalf of; acting Ⅱ名詞1 (歷...
- 數 : 數副詞(屢次) frequently; repeatedly
- 剩餘 : overplus
-
The second part builds a new algebra syetem rl, which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra. in the same time, using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl. obtains a series of theorems, and studies the completeness of rl logic
第二部分:在以bl邏輯為背景的bl代數的定義中去掉限制性較強的條件a b = a ( a b ) ,建立了一種新的代數系統rl ,並進一步研究了rl代數類的性質;以rl代數為賦值域建立了一種更為廣泛的模糊命題演算的形式系統? ?剩餘格值邏輯系統rl ,得到了一系列定理,同時研究了邏輯系統rl的(弱)完備性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代數成為剩餘格的充要條件。
分享友人