Additive derivative and multiplicative coderivative operators on MV-algebras

Additive derivative and multiplicative coderivative operators on MV-algebras

In this paper we introduce derivative MV-algebras (or MV-algebras with additive derivative operators). Weindicate that the derivative MV-algebras are generalizations of closure MV-algebras. Then we investigate the connectionbetween additive derivative operators on MV-algebras and the derivative operators on the greatest Boolean subalgebrasof MV-algebras. Finally, we study some properties of the derivative MV-algebras.

___

  • [1] Chang CC. Algebraic analysis of many valued logics. T Am Math Soc 1958; 88: 467-490.
  • [2] Chang CC. A new proof of the completeness of the Łukasiewicz axioms. T Am Math Soc 1959; 93: 74-80.
  • [3] Cignoli RLO, Mundici D, D’Ottaviano IML. Algebraic foundations of many-valued reasoning. Dordrecht, the Netherlands: Kluwer Academic Publishers, 2000.
  • [4] Esakia L. Intuitionistic logic and modality via topology. Provinces of logic determined. Ann Pure Appl Logic 2004; 127: 155-170.
  • [5] Forouzesh F, Eslami E, Borumand Saeid A. On obstinate ideals in MV-algebras. Politehn Univ Bucharest Sci Bull Ser A Appl Math Phys 2014; 76: 53-62.
  • [6] McKinsey JCC, Tarski A. The algebra of topology. Ann Math 1944; 45: 141-191.
  • [7] Rachůnek J, Svoboda Z. Interior and closure operators on commutative basic algebras. Math Slovaca 2017; 67: 23–32.
  • [8] Rachůnek J, S̆vrc̆ek F. MV-algebras with additive closure operators. Acta Univ Palack Olomuc Fac Rerum Natur Math 2000; 39: 183-189.