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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
基金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 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.
基金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.
基金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.
基金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.