A 2-dimension linguistic lattice implication algebra(2DL-LIA)can build a bridge between logical algebra and 2-dimension fuzzy linguistic information.In this paper,the notion of a Boolean element is proposed in a 2DL-L...A 2-dimension linguistic lattice implication algebra(2DL-LIA)can build a bridge between logical algebra and 2-dimension fuzzy linguistic information.In this paper,the notion of a Boolean element is proposed in a 2DL-LIA and some properties of Boolean elements are discussed.Then derivations on 2DL-LIAs are introduced and the related properties of derivations are investigated.Moreover,it proves that the derivations on 2DL-LIAs can be constructed by Boolean elements.展开更多
Some new properties of lattice filters are presented based on the order-preserving mapping and lattice homomorphism, and two necessary and sufficient conditions for lattice filters under the chain type are given. Then...Some new properties of lattice filters are presented based on the order-preserving mapping and lattice homomorphism, and two necessary and sufficient conditions for lattice filters under the chain type are given. Then, the relations between lattice filter and lattice implication algebras (LIAs), i. e., the relations between lattice filter and LIA-filters, and the related properties are investigated. In addition, three necessary and sufficient conditions for LIA-filters are discussed. The obtained results may serve as some theoretical supports to lattice-valued logical system.展开更多
在这份报纸,有限格子含意代数学简单的一些必要、足够的条件是 established.Specially ,如果并且仅当,有限格子含意代数学 L 简单,这被证明如果并且仅当( L ,)是链,如果并且仅当在那里存在在 L.Also 的唯一的双原子,有一个素数...在这份报纸,有限格子含意代数学简单的一些必要、足够的条件是 established.Specially ,如果并且仅当,有限格子含意代数学 L 简单,这被证明如果并且仅当( L ,)是链,如果并且仅当在那里存在在 L.Also 的唯一的双原子,有一个素数的顺序的有限格子含意代数学简单,这被给。展开更多
First, we reviewed the definitions of lattice implication algebras, lattice implication subalgebras, and LI-ideals, and provided an equivalent definition of LI-ideal. Then we investigated some properties of lattice im...First, we reviewed the definitions of lattice implication algebras, lattice implication subalgebras, and LI-ideals, and provided an equivalent definition of LI-ideal. Then we investigated some properties of lattice implication subalgebra and U-ideal, and found the least lattice implication subalgebra. Finally, the relation between lattice implication subalgebra and LI-ideal is presented. It is proved that no LI-ideals are non-trivial lattice implication subalgebras.展开更多
In this paper,the concepts of product and factorization of lattice implication algebra are proposed,the relation between lattice implication product algebra and its factors and some properties of lattice implication p...In this paper,the concepts of product and factorization of lattice implication algebra are proposed,the relation between lattice implication product algebra and its factors and some properties of lattice implication product algebras are discussed.展开更多
这份报纸介绍了 L 模糊的潜水艇格子含意代数学的概念并且讨论了它的性质。证明L模糊的潜水艇格子含意代数学的一个家庭的交叉集合是L模糊的潜水艇格子含意代数学,如果并且仅当它的每个切割集合是潜水艇格子含意代数学,一个L模糊的代...这份报纸介绍了 L 模糊的潜水艇格子含意代数学的概念并且讨论了它的性质。证明L模糊的潜水艇格子含意代数学的一个家庭的交叉集合是L模糊的潜水艇格子含意代数学,如果并且仅当它的每个切割集合是潜水艇格子含意代数学,一个L模糊的代用品格子含意代数学设定,这是L模糊的潜水艇格子含意代数学,并且图象和原版在格子含意同形下面L模糊的潜水艇格子含意代数学想象,这两个都是L模糊的潜水艇格子含意代数学。展开更多
Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper,the relationship between lattice implication algebras and MV algebra was discuss...Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper,the relationship between lattice implication algebras and MV algebra was discussed,and then proved that both of the categorys of the two algebras are categorical equivalence. Finally,the infinitely distributivity in lattice implication algebras were proved.展开更多
In this paper,after discussing the prime implication filter of lattice implication algebra,we introduced the concept of prime space of lattice implication algebra,in which we analysised its topological property and di...In this paper,after discussing the prime implication filter of lattice implication algebra,we introduced the concept of prime space of lattice implication algebra,in which we analysised its topological property and discussed the relation between the category of topological space and the category of lattice implication algebras.展开更多
In order to study uncertainty reasoning and automatic reasoning with linguistic terms, in this paper, the set of basic linguistic truth values and the set of modifiers are defined, according to common sense; partially...In order to study uncertainty reasoning and automatic reasoning with linguistic terms, in this paper, the set of basic linguistic truth values and the set of modifiers are defined, according to common sense; partially orderings are defined on them. Based on it, a lattice implication algebra model L18 of linguistic terms is built; furthermore, its some basic properties are discussed.展开更多
Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the taut...Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply. The researches of this paper can be used in lattice-valued logic systems and can be helpful to automated reasoning systems.展开更多
As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice impl...As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.展开更多
The modal lattice implication algebra(i.e.,M-lattice implication algebra) is introduced and its properties are investigated.The modal lattice-valued propositional logical system is introduced by considering the M-latt...The modal lattice implication algebra(i.e.,M-lattice implication algebra) is introduced and its properties are investigated.The modal lattice-valued propositional logical system is introduced by considering the M-lattice implication algebra as the valuation field,and the syntax and semantic of the logical system are discussed,respectively.展开更多
Let F(S) be the free algebra of type (,∨,→) generated by the non_empty set S, it is proved that the logical equivalent relation defined by means of R 0_semantics is a congruence relation on F(S) and the correspondin...Let F(S) be the free algebra of type (,∨,→) generated by the non_empty set S, it is proved that the logical equivalent relation defined by means of R 0_semantics is a congruence relation on F(S) and the corresponding quotient algebra is said to be the R 0_semantic Lindenbaum algebra. Taking R 0_semantic Lindenbaum algebra as a prototype, the concepts of implicational lattices and regular implicational lattices which are generalizations of the concept of Boolean algebras are introduced. Besides, the concept of fuzzy implicational spaces is introduced and the representation theorem of regular implicational lattices is obtained by means of fuzzy implicational spaces. In case of Boolean algebras, the corresponding fuzzy implicational spaces are zero_dimensional compact Hausdorff spaces and herefrom it is proved that the famous Stone’s representation theorem of Boolean algebras is a corollary of the representation theorem of regular implicational lattices.展开更多
基金Supported by the National Natural Science Foundation of China(11501523,61673320)。
文摘A 2-dimension linguistic lattice implication algebra(2DL-LIA)can build a bridge between logical algebra and 2-dimension fuzzy linguistic information.In this paper,the notion of a Boolean element is proposed in a 2DL-LIA and some properties of Boolean elements are discussed.Then derivations on 2DL-LIAs are introduced and the related properties of derivations are investigated.Moreover,it proves that the derivations on 2DL-LIAs can be constructed by Boolean elements.
基金The National Natural Science Founda-tion of China (No.60474022)the Specialized Research Fund for the Doctoral Program of Higher Education of China(No.20060613007)
文摘Some new properties of lattice filters are presented based on the order-preserving mapping and lattice homomorphism, and two necessary and sufficient conditions for lattice filters under the chain type are given. Then, the relations between lattice filter and lattice implication algebras (LIAs), i. e., the relations between lattice filter and LIA-filters, and the related properties are investigated. In addition, three necessary and sufficient conditions for LIA-filters are discussed. The obtained results may serve as some theoretical supports to lattice-valued logical system.
基金Supported by the National Natural Science Foundation of China(60474022)Supported by the Henan Innovation Project For University Prominent Research Talents(2007KYCX018)
文摘在这份报纸,一个拓扑的空格基于格子含意代数学的 LI 理想被构造,并且它的拓扑的性质紧密和 connectedness 例如可分性,被讨论。
基金The National Natural Science Foundationof China (No.60875034)the Specialized Research Fundfor the Doctoral Program of Higher Education of China (No.20060613007)
文摘First, we reviewed the definitions of lattice implication algebras, lattice implication subalgebras, and LI-ideals, and provided an equivalent definition of LI-ideal. Then we investigated some properties of lattice implication subalgebra and U-ideal, and found the least lattice implication subalgebra. Finally, the relation between lattice implication subalgebra and LI-ideal is presented. It is proved that no LI-ideals are non-trivial lattice implication subalgebras.
基金Project Supported by the National Natural Science Foundation of China.
文摘In this paper,the concepts of product and factorization of lattice implication algebra are proposed,the relation between lattice implication product algebra and its factors and some properties of lattice implication product algebras are discussed.
文摘这份报纸介绍了 L 模糊的潜水艇格子含意代数学的概念并且讨论了它的性质。证明L模糊的潜水艇格子含意代数学的一个家庭的交叉集合是L模糊的潜水艇格子含意代数学,如果并且仅当它的每个切割集合是潜水艇格子含意代数学,一个L模糊的代用品格子含意代数学设定,这是L模糊的潜水艇格子含意代数学,并且图象和原版在格子含意同形下面L模糊的潜水艇格子含意代数学想象,这两个都是L模糊的潜水艇格子含意代数学。
文摘Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper,the relationship between lattice implication algebras and MV algebra was discussed,and then proved that both of the categorys of the two algebras are categorical equivalence. Finally,the infinitely distributivity in lattice implication algebras were proved.
文摘In this paper,after discussing the prime implication filter of lattice implication algebra,we introduced the concept of prime space of lattice implication algebra,in which we analysised its topological property and discussed the relation between the category of topological space and the category of lattice implication algebras.
基金Supported by the National Natural Science Foundation of China ( No.60474022)the Specialized Research Fund for the Doctoral Program of Higher Education of China (No.20060613007)
文摘In order to study uncertainty reasoning and automatic reasoning with linguistic terms, in this paper, the set of basic linguistic truth values and the set of modifiers are defined, according to common sense; partially orderings are defined on them. Based on it, a lattice implication algebra model L18 of linguistic terms is built; furthermore, its some basic properties are discussed.
文摘Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply. The researches of this paper can be used in lattice-valued logic systems and can be helpful to automated reasoning systems.
基金the National Natural Science Foundation of China(No.61175055)the Sichuan Key Technology Research and Development Program(No.2011FZ0051)
文摘As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.
基金the National Natural Science Foundation of China(No.61175055)the Scientific Research Fund of Sichuan Provincial Education Department(11ZB023)the Sichuan Key Technology Research and Development Program(No.2011FZ0051)
文摘The modal lattice implication algebra(i.e.,M-lattice implication algebra) is introduced and its properties are investigated.The modal lattice-valued propositional logical system is introduced by considering the M-lattice implication algebra as the valuation field,and the syntax and semantic of the logical system are discussed,respectively.
文摘Let F(S) be the free algebra of type (,∨,→) generated by the non_empty set S, it is proved that the logical equivalent relation defined by means of R 0_semantics is a congruence relation on F(S) and the corresponding quotient algebra is said to be the R 0_semantic Lindenbaum algebra. Taking R 0_semantic Lindenbaum algebra as a prototype, the concepts of implicational lattices and regular implicational lattices which are generalizations of the concept of Boolean algebras are introduced. Besides, the concept of fuzzy implicational spaces is introduced and the representation theorem of regular implicational lattices is obtained by means of fuzzy implicational spaces. In case of Boolean algebras, the corresponding fuzzy implicational spaces are zero_dimensional compact Hausdorff spaces and herefrom it is proved that the famous Stone’s representation theorem of Boolean algebras is a corollary of the representation theorem of regular implicational lattices.