In this paper, we review some of their related properties of derivations on MValgebras and give some characterizations of additive derivations. Then we prove that the fixed point set of Boolean additive derivations an...In this paper, we review some of their related properties of derivations on MValgebras and give some characterizations of additive derivations. Then we prove that the fixed point set of Boolean additive derivations and that of their adjoint derivations are isomorphic.In particular, we prove that every MV-algebra is isomorphic to the direct product of the fixed point set of Boolean additive derivations and that of their adjoint derivations. Finally we show that every Boolean algebra is isomorphic to the algebra of all Boolean additive(implicative)derivations. These results also give the negative answers to two open problems, which were proposed in [Fuzzy Sets and Systems, 303(2016), 97-113] and [Information Sciences, 178(2008),307-316].展开更多
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.展开更多
基金Supported by a grant of National Natural Science Foundation of China(12001243,61976244,12171294,11961016)the Natural Science Basic Research Plan in Shaanxi Province of China(2020JQ-762,2021JQ-580)。
文摘In this paper, we review some of their related properties of derivations on MValgebras and give some characterizations of additive derivations. Then we prove that the fixed point set of Boolean additive derivations and that of their adjoint derivations are isomorphic.In particular, we prove that every MV-algebra is isomorphic to the direct product of the fixed point set of Boolean additive derivations and that of their adjoint derivations. Finally we show that every Boolean algebra is isomorphic to the algebra of all Boolean additive(implicative)derivations. These results also give the negative answers to two open problems, which were proposed in [Fuzzy Sets and Systems, 303(2016), 97-113] and [Information Sciences, 178(2008),307-316].
文摘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.