Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Some results on derivations of MV-algebras

Some results on derivations of MV-algebras In this paper, we review some of their related properties of derivations on MV-algebras 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]. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Applied Mathematics-A Journal of Chinese Universities Springer Journals

Some results on derivations of MV-algebras

Download PDF
18 pages

Loading next page...
 
/lp/springer-journals/some-results-on-derivations-of-mv-algebras-J95T0YRHja
Publisher
Springer Journals
Copyright
Copyright © Editorial Committee of Applied Mathematics 2023
ISSN
1005-1031
eISSN
1993-0445
DOI
10.1007/s11766-023-4054-8
Publisher site
See Article on Publisher Site

Abstract

In this paper, we review some of their related properties of derivations on MV-algebras 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].

Journal

Applied Mathematics-A Journal of Chinese Universities – Springer Journals

Published: Mar 1, 2023

Keywords: MV-algebra; derivation; fixed point set; ideal; Boolean algebra; 06B35; 06B99

References

  • On (θ, σ)-derivations of two types of hyperrings
    Ardekani, L K; Davvaz, B
  • Algebraic analysis of many-valued logic
    Chang, C C
  • A new proof of the completeness of the Lukasiewicz axioms
    Chang, C C
  • An elementary proof of Chang’s completeness theorem for the infinite-valued calculus of Lukasiewicz
    Cignoli, R; Mundici, D
  • Generalized (Jordan) left derivations on rings associated with an element of rings
    Davvaz, B; Ardekani, L K
  • Stabilizer theory in MV-algebras
    Forouzesh, F; Eslami, E; Borumand Saeid, A
  • On obstinate ideals in MV-algebras
    Forouzesh, F; Eslami, E; Borumand Saeid, A
  • Many valued logics and semirings
    Gerla, B
  • (⊙, ⊕)-derivations and (⊖, ⊙)-derivations on MV-algebras
    Ghorbain, S; Torkzadeh, L; Motamed, S
  • On derivations and their fixed point sets in residuated lattices
    He, P F; Xin, X L; Zhan, J M
  • Generalized derivations of rings and Banach algebras
    Huang, S L; Davvaz, B
  • On derivations of BCI-algebras
    B Jun, Y; Xin, X L
  • Untersuchungen über den Aussagenkalkül
    Lukasiewicz, J; Tarski, A
  • Derivations in prime rings
    Posner, E
  • Metrization on MV-algebras and its application in Łukasiewicz propositional logic
    Wang, G J; Zhou, H J
  • Monadic bounded hoops
    Wang, J T; Xin, X L; He, P F
  • Monadic algebras of an involutive monoidal t-norm based logic
    Wang, J T; Xin, X L
  • Generalized valuations on MTL-algebras
    Wang, J T; He, P F
  • Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic
    Wang, J T; He, P F; Yang, J; Wang, M; He, X L
  • An algebraic study of the logic S5’(BL)
    Wang, J T; He, X L; Wang, M
  • Monadic NM-algebras
    Wang, J T; He, P F; She, Y H
  • The fixed set of aderivation in lattices
    Xin, X L
  • On derivations of lattices
    Xin, X L; Li, T Y; Lu, J H