Abstract
The category of MV-algebras is equivalent to the category of abelian lattice ordered groups with strong units. In this article we introduce the category of circled abelian groups and prove that the category of chain MV-algebras is isomorphic with the category of chain circled abelian groups. In the last section we show that the category of chain MV-algebras is a subcategory of abelian cyclically ordered groups.
(Communicated by Roberto Giuntini)
References
[1] Belluce, L. P.: Semisimple algebras of infinite-valued logic and bold fuzzy set theory, Canadian J. Math 38 (1986), 1356–1379.10.4153/CJM-1986-069-0Search in Google Scholar
[2] Chang, C. C.: Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958), 467–490.10.1090/S0002-9947-1958-0094302-9Search in Google Scholar
[3] Chang, C. C.: A new proof of the completeness of Łukasiewicz's axioms, Trans. Amer. Math. Soc. 93 (1959), 74–80.10.2307/1993423Search in Google Scholar
[4] Cignoli, R.—D'ottaviano, I. M. L.—Mundici, D.: Algebraic Foundations of Many-Valued Reasoning, Kluwer, Dordrecht, 2000.10.1007/978-94-015-9480-6Search in Google Scholar
[5] Di Nola, A.—Gerla, B.: Algebras of Łukasiewicz's Logic and their semiring reducts, Contemp. Math. 377 (2005), 131–144.10.1090/conm/377/06988Search in Google Scholar
[6] Ghorbani, S.—Torkzadeh, L.—Motamed, S.: (⊙, ⊕)-derivations and (⊖, ⊙)-derivations on MV-algebras, Iran. J. Math. Sci. Inform. 8 (2013), 75–90.Search in Google Scholar
[7] Gluschankof D.: Cyclic ordered groups and MV-algebras, Czechoslovak Math. J. 43 (1993), 249–263.10.21136/CMJ.1993.128391Search in Google Scholar
[8] Jakubíik, J.: Retracts of abelian cyclically ordered groups, Arch. Math. 25 (1989), 13–18.Search in Google Scholar
[9] Łukasiewicz, J.: O logice trójwartościowej, Ruch Filozoficzny 5 (1920), 169-171.Search in Google Scholar
[10] Mundici, D.: MV-ALGEBRAS, A short tutorial, Department of Mathematics University of Florence, 2007; http://www.matematica.uns.edu.ar/IXCongresoMonteiro/Comunicaciones/Mundicitutorial.pdf.Search in Google Scholar
[11] Mundici, D.: Interpretation of AF C*-algebras in Łukasiewicz sentential calculus, J. Funct. Anal. 65 (1986), 15–63.10.1016/0022-1236(86)90015-7Search in Google Scholar
[12] Mundici, D.: The logic of Ulam's game with lies. Knowledge Belief and Strategic Interaction (C. Bicchieri and M.L. Dalla Chiara, eds.), Cambridge University Press, 1992, pp. 275–284.10.1017/CBO9780511983474.017Search in Google Scholar
[13] Mundici, D.: Ulam's game, Łukasiewicz logic and C*-algebras, Fund. Math. 18 (1993), 151–161.10.3233/FI-1993-182-405Search in Google Scholar
[14] Rieger, L. S.: O uspořádaných a cyklicky uspořádaných grupách I [On ordered and cyclically ordered groups I], Věstník Král. České spol. nauk, Třída matematicko-přírodovědná [Journal of the Royal Czech Society of Sciences, Mathematics and natural history] 6 (1946), 1–31 (in Czech).Search in Google Scholar
[15] Rieger, L. S.: O uspořádaných a cyklicky uspořádaných grupách II [On ordered and cyclically ordered groups II], Věstník Král. České spol. nauk, Třída matematicko-přírodovědná [Journal of the Royal Czech Society of Sciences, Mathematics and natural history] 1 (1947), 1–33 (in Czech).Search in Google Scholar
[16] Rieger, L. S.: O uspořádaných a cyklicky uspořádaných grupách III (On ordered and cyclically ordered groups III), Věstník Král. České spol. nauk, Třída matematicko-přírodovědná [Journal of the Royal Czech Society of Sciences, Mathematics and natural history] 1 (1948), 1–26 (in Czech).Search in Google Scholar
[17] Swierczowski, S.: On cyclically ordered groups, Fund. Math. 47 (1959), 161–166.10.4064/fm-47-2-161-166Search in Google Scholar
© 2021 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Regular Papers
- Quasi-decompositions and quasidirect products of Hilbert algebras
- Residuation in finite posets
- On a problem in the theory of polynomials
- Fekete-Szegö problem for starlike functions connected with k-Fibonacci numbers
- Mapping properties of the Bergman projections on elementary Reinhardt domains
- Lemniscate-like constants and infinite series
- On the Oscillation of second order nonlinear neutral delay differential equations
- Oscillation theorems for certain second-order nonlinear retarded difference equations
- De la Vallée Poussin inequality for impulsive differential equations
- Hs-Boundedness of a class of Fourier Integral Operators
- Dynamical behavior of a P-dimensional system of nonlinear difference equations
- Some inequalities for exponentially convex functions on time scales
- Impact of different types of non linearity on the oscillatory behavior of higher order neutral difference equations
- The sine extended odd Fréchet-G family of distribution with applications to complete and censored data
- A new two-parameter lifetime distribution with flexible hazard rate function: Properties, applications and different method of estimations
- Simulations of nonlinear parabolic PDEs with forcing function without linearization
- An existence level for the residual sum of squares of the power-law regression with an unknown location parameter
- A relationship between the category of chain MV-algebras and a subcategory of abelian groups
Articles in the same Issue
- Regular Papers
- Quasi-decompositions and quasidirect products of Hilbert algebras
- Residuation in finite posets
- On a problem in the theory of polynomials
- Fekete-Szegö problem for starlike functions connected with k-Fibonacci numbers
- Mapping properties of the Bergman projections on elementary Reinhardt domains
- Lemniscate-like constants and infinite series
- On the Oscillation of second order nonlinear neutral delay differential equations
- Oscillation theorems for certain second-order nonlinear retarded difference equations
- De la Vallée Poussin inequality for impulsive differential equations
- Hs-Boundedness of a class of Fourier Integral Operators
- Dynamical behavior of a P-dimensional system of nonlinear difference equations
- Some inequalities for exponentially convex functions on time scales
- Impact of different types of non linearity on the oscillatory behavior of higher order neutral difference equations
- The sine extended odd Fréchet-G family of distribution with applications to complete and censored data
- A new two-parameter lifetime distribution with flexible hazard rate function: Properties, applications and different method of estimations
- Simulations of nonlinear parabolic PDEs with forcing function without linearization
- An existence level for the residual sum of squares of the power-law regression with an unknown location parameter
- A relationship between the category of chain MV-algebras and a subcategory of abelian groups