zbMATH — the first resource for mathematics

A non-commutative generalization of MV-algebras. (English) Zbl 1012.06012
Summary: We define a generalization of MV-algebras as algebras \(A = (A, \oplus , \odot , \neg , \sim , 0, 1)\) of signature \(\langle 2,2,1,1,0,0\rangle \) in which the binary operations \(\oplus \) and \(\odot \) in general need not be commutative. (MV-algebras as introduced by Chang are then called commutative.) In the first part of the paper some properties of noncommutative MV-algebras are described. In the second part it is proved that (noncommutative) MV-algebras are in a one-to-one correspondence with some bounded noncommutative \(DRl\)-monoids, and in the last section it is shown that every interval \([0, u]\) of any (noncommutative) \(l\)-group can be viewed as an MV-algebra and that every linearly ordered MV-algebra is isomorphic to an analogous interval of some linearly ordered loop.

06D35 MV-algebras
06F05 Ordered semigroups and monoids
06F15 Ordered groups
Full Text: DOI
[1] V. D. Belousov: Foundations of the Theory of Quasigroups and Loops. Nauka, Moscow, 1967.
[2] A. Bigard, K. Keimel and S. Wolfenstein: Groupes et Anneaux Réticulés. SpringerVerlag, Berlin-Heidelberg-New York, 1977. · Zbl 0384.06022
[3] S. Burris and H. P. Sankappanavar: A Course in Universal Algebra. Springer-Verlag, Berlin-Heidelberg-New York, 1981. · Zbl 0478.08001
[4] C. C. Chang: Algebraic analysis of many valued logics. Trans. Amer. Math. Soc. 88 (1958), 467-490. · Zbl 0084.00704 · doi:10.2307/1993227
[5] C. C. Chang: A new proof of the completeness of the Lukasiewicz axioms. Trans. Amer. Math. Soc. 93 (1959), 74-80. · Zbl 0093.01104 · doi:10.2307/1993423
[6] R. Cignoli: Free lattice-ordered abelian groups and varieties of \(MV\)-algebras. Proc. IX. Latin. Amer. Symp. Math. Log., Part 1, Not. Log. Mat. 38 (1993), 113-118. · Zbl 0827.06012
[7] Lattice-Ordered Groups (Advances and Techniques). A. M. W. Glass and W. Charles Holland (eds.), Kluwer Acad. Publ., Dordrecht-Boston-London, 1989. · Zbl 0705.06001
[8] C. S. Hoo: \(MV\)-algebras, ideals and semisimplicity. Math. Japon. 34 (1989), 563-583. · Zbl 0677.03041
[9] V. M. Kopytov and N. Ya. Medvedev: The Theory of Lattice Ordered Groups. Kluwer Acad. Publ., Dordrecht-Boston-London, 1994. · Zbl 0834.06015
[10] T. Kovář: A general theory of dually residuated lattice ordered monoids. Thesis, Palacký University Olomouc, 1996.
[11] D. Mundici: Interpretation of \(AF C^{*}\)-algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65 (1986), 15-63. · Zbl 0597.46059 · doi:10.1016/0022-1236(86)90015-7
[12] D. Mundici: \(MV\)-algebras are categorically equivalent to bounded commutative \(BCK\)-algebras. Math. Japon. 31 (1986), 889-894. · Zbl 0633.03066
[13] J. Rachůnek: \(DRl\)-semigroups and \(MV\)-algebras. Czechoslovak Math. J. 48(123) (1998), 365-372. · Zbl 0952.06014 · doi:10.1023/A:1022801907138
[14] J. Rachůnek: \(MV\)-algebras are categorically equivalent to a class of \(DRl_{1(i)}\)-semigroups. Math. Bohem. 123 (1998), 437-441. · Zbl 0934.06014
[15] K. L. N. Swamy: Dually residuated lattice ordered semigroups. Math. Ann. 159 (1965), 105-114. · Zbl 0138.02104 · doi:10.1007/BF01364335 · eudml:161279
[16] K. L. N. Swamy: Dually residuated lattice ordered semigroups II. Math. Ann. 160 (1965), 64-71. · Zbl 0138.02104 · doi:10.1007/BF01364335 · eudml:161279
[17] K. L. N. Swamy: Dually residuated lattice ordered semigroups III. Math. Ann. 167 (1966), 71-74. · Zbl 0158.02601 · doi:10.1007/BF01361218 · eudml:161473
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.