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.展开更多
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,we introduce and investigate the strongly regular relation.Then we give the relational representations and an intrinsic characterization of strongly algebraic lattices via mapping relation and strongly r...In this paper,we introduce and investigate the strongly regular relation.Then we give the relational representations and an intrinsic characterization of strongly algebraic lattices via mapping relation and strongly regular relation.展开更多
Let A be a unital algebra and M be a unital .A-bimodule. A linear map δ : A →M is said to be Jordan derivable at a nontrivial idempotent P ∈A if δ(A) o B + A o δ(B) =δ(A o B) for any A,B ∈ .4 with A o B...Let A be a unital algebra and M be a unital .A-bimodule. A linear map δ : A →M is said to be Jordan derivable at a nontrivial idempotent P ∈A if δ(A) o B + A o δ(B) =δ(A o B) for any A,B ∈ .4 with A o B = P, here A o B = AB + BA is the usual Jordan product. In this article, we show that if ,A = AlgAN is a Hilbert space nest Mgebra and M = B(H), or A =M= B(X), then, a linear mapδ: A→M is Jordan derivable at a nontrivial projection P ∈ N or an arbitrary but fixed nontrivial idempotent P∈ B(X) if and only if it is a derivation. New equivalent characterization of derivations on these operator algebras was obtained.展开更多
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.展开更多
基金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.
基金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.
基金Supported by the National Natural Science Foundation of China(10861007)
文摘In this paper,we introduce and investigate the strongly regular relation.Then we give the relational representations and an intrinsic characterization of strongly algebraic lattices via mapping relation and strongly regular relation.
基金Supported by National Natural Foundation of China(11001194)Provincial International Cooperation Project of Shanxi(2014081027-2)
文摘Let A be a unital algebra and M be a unital .A-bimodule. A linear map δ : A →M is said to be Jordan derivable at a nontrivial idempotent P ∈A if δ(A) o B + A o δ(B) =δ(A o B) for any A,B ∈ .4 with A o B = P, here A o B = AB + BA is the usual Jordan product. In this article, we show that if ,A = AlgAN is a Hilbert space nest Mgebra and M = B(H), or A =M= B(X), then, a linear mapδ: A→M is Jordan derivable at a nontrivial projection P ∈ N or an arbitrary but fixed nontrivial idempotent P∈ B(X) if and only if it is a derivation. New equivalent characterization of derivations on these operator algebras was obtained.
基金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.
基金Supported by Research Fund for the Doctoral Program of Higher Education of China(Grant No.20101402110012)Tian Yuan Foundation of China(Grant No.11026161)Foundation of Shanxi University
文摘Let L be a J-subspace lattice on a Banach space X and Alg/2 the associated J-subspace lattice
基金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.