蘊涵代數 的英文怎麼說
中文拼音 [yùnhándàishǔ]
蘊涵代數
英文
implication algebras-
The mp - filters and fuzzy filters of a implication algebra on a partial ordered set are studied with the condition given in chapter 2 which implicative operator should satisfy
利用上述得到的關于蘊涵代數中蘊涵運算元的條件,研究偏序集上具有條件( c )的蘊涵代數的mp濾子及fuzzy濾子。Based on the production of other researchers such as professor xu yang and professor qin keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice - valued systems, automated reasoning methods, lattice - valued prepositional logic system
本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上,對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。A note on the axioms of lattice implication algebra
關于格蘊涵代數公理的一個注記The left idempotent elements of lattice implication algebras
格蘊涵代數的左冪等元On modelproperties of lattice implication algebra
格蘊涵代數的模型論性質Prime dual ideals of lattice implication algebra
格蘊涵代數的素對偶理想Some remarks on structure of lattice implication algebras
關于格蘊涵代數的結構的一些討論The primary ideal of residuated lattice implication algebras
剩餘格蘊涵代數中準素理想的研究A note on the fuzzy filters of lattice implication algebras
關于格蘊涵代數模糊濾子的一個注記On implication algebras based on lattices and their dual algebras
關于格上蘊涵代數及其對偶代數In this article, according to the theory of logic algebra inequality, the notion of inequality in lattice implication algebra was introduced, three typical basic unary lattice implication algebra inequalities in lattice implication algebra l were investigated, and some properties and corollaries were obtained
摘要針對邏輯代數中的不等關系提出格蘊涵代數不等式的概念,討論了格蘊涵代數中3類最基本的一元格蘊涵不等式,得到一些性質及推論。On injective lattice implication algebras
關于內射的格蘊涵代數L - fuzzy lattice implication algebra
型模糊格蘊涵代數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代數之間的幾個等價定理。Difference from other algebraic structures which are introduced for some logic system, implication algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator. the main results of this paper is given as the following : 1
特別值得提出的是,與其它為研究邏輯系統而引入的代數結構不同,蘊涵代數是對一個邏輯聯結詞,即蘊涵運算元(蘊涵邏輯聯結詞)抽象而得到的,其它運算元均是由蘊涵運算元誘導而得到。In the paper, the concept of intuitionistic fuzzy filter in lattice implication algebras is proposed, and its properties are discussed
摘要本文討論格蘊涵代數中的直覺模糊濾子的概念及其性質。The representation theories of mp - filter which is created by an non - empty set of a implication algebra on a partial ordered set with condition ( c ) are obtained at first. and it ' s proved that the set which contains all mp - filters of a implication algebra x, denoted by mf ( x ) = { f x f is a filter of x }, is a distributive lattice and a complete lattice also in the view of the concept of mp - filter. then the fuzzy filter of a implication algebra is discussed, and the relations between mp - filter and fuzzy filter are obtained
藉助于mp -濾子的概念,得到了偏序集上具有條件( c )的蘊涵代數中由非空集合所生成mp濾子的表示定理,證明了由其上所有mp -濾子組成的集合mf ( x )是一個完備的分配格;得到了蘊涵代數中fuzzy濾子與mp濾子的關系,給出了fuzzy濾子成為fuzzy素濾子的若干刻畫;並利用mp -濾子和fuzzy濾子,刻畫了一類偏序集上蘊涵代數的結構。Syntactic system of lattice - valued propositional logic based on finite lattice implication algebra
基於有限格蘊涵代數的格值命題邏輯語法系統3. the concepts of o - ideal was proposed and its property was discussed. ultra - filter on a set s of lattice implication algebra was defined and was compared with the ultra - filter on a set of lattice, the relationship between this two ultra - filter was studied
3 、給出了格蘊涵代數中o -理想的定義並討論了其性質,給出了格蘊涵代數中集合s上超濾子的定義並與集合代數上的超濾子作了比較,研究了兩種超濾子之間的關系。Semantic system of lattice - valued propositional logic based on finite lattice implication algebra
基於有限格蘊涵代數的格值命題邏輯語義系統分享友人