Logic Journal of IGPL

Logic Journal of IGPL Advance Access originally published online on July 4, 2009
Logic Journal of IGPL 2009 17(4):395-412; doi:10.1093/jigpal/jzp017

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Di Nola, A. Articles by Jenca, G. Social Bookmarking          What's this?

© The Author 2009. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

The category of MV-pairs

Antonio Di Nola

Department of Mathematics and Information Sciences, Università degli Studi di Salerno, Via Ponte Don Melillo, 84084 Fisciano (Salerno), Italy.
E-mail: adinola{at}unisa.it

Michal Holapek

Institute for Research and Applications of Fuzzy Modeling, University of Ostrava, 30. dubna 22, 701 33 Ostrava 1, Czech Republic.
E-mail: michal.holcapek{at}osu.cz

Gejza Jena

Department of Mathematics and Descriptive Geometry, Faculty of Civil Engineering, Radlinskéeho 11, Bratislava 813 68, Slovak Republic.
E-mail: gejza.jenca{at}stuba.sk

An MV-pair is a pair (B,G), where B is a Boolean algebra and G is a subgroup of the automorphism group of B satisfying certain condition. Recently it was proved by one of the authors that for an MV-pair (B,G), _G is an effect-algebraic congruence and B/_G is an MV-algebra. Moreover, every MV-algebra M can be represented by an MV-pair in this way.

In this paper we show that one can define a suitable category of MV-pairs in such a way that there exist a faithful functor from the category of MV-algebras to the aforementioned category and a functor in the reversed direction.

Key Words: MV-algebra • Boolean algebra • MV-pair

References

[1]  Bennett MK, Foulis DJ. Phi-symmetric effect algebras. Foundations of Physics (1995) 25:1699–9722.[CrossRef][Web of Science]

[2]  Chang CC. Algebraic analysis of many-valued logics. Trans. Amer. Math. Soc. (1959) 88:467–490.[CrossRef]

[3]  Chevalier G, Pulmannová S. Some ideal lattices in partial abelian monoids. Order (2000) 17:75–92.[CrossRef]

[4]  Chovanec F, Kôpka F. Boolean D-posets. Tatra Mt. Math. Publ (1997) 10:183–197.

[5]  Cignoli R, Dubuc E, Mundici D. The MV-algebraic invariant for Boolean algebras with finite-orbit automorphism. Tatra Mt. Math. Publ (2003) 27:23–44.

[6]  Dauletbaev BK. Determining an atomic Boolean algebra from the action of the automorphism group. Siberian Mathematical Journal (1993) 34(6):1041–1043.[CrossRef][Web of Science]

[7]  Dvureenskij A, Pulmannová S. New Trends in Quantum Structures (2000) Kluwer: Dordrecht and Ister Science, Bratislava.

[8]  Foulis DJ, Bennett MK. Effect algebras and unsharp quantum logics. Found. Phys. (1994) 24:1325–1346.

[9]  Giuntini R, Greuling H. Toward a formal language for unsharp properties. Found. Phys. (1989) 19:931–945.[CrossRef]

[10]  Grätzer G. Birkhäuser. In: General Lattice Theory (1998) second edition.

[11]  Gudder S, Pulmannová S. Quotients of partial abelian monoids. Algebra univers. (1998) 38:395–421.[CrossRef]

[12]  Hashimoto J. Ideal theory for lattices. Math. Japon. (1952) 2:149–186.

[13]  Jena G. Boolean algebras R-generated by MV-effect algebras. Fuzzy sets and systems (2004) 145:279–285.[CrossRef][Web of Science]

[14]  Jena G. A representation theorem for MV-algebras. Soft Computing (2007) 11:557–564.[CrossRef][Web of Science]

[15]  Kôpka F. D-posets of fuzzy sets. Tatra Mt. Math. Publ (1992) 1:83–87.

[16]  Kôpka F, Chovanec F. D-posets. Math. Slovaca (1994) 44:21–34.

[17]  Koppelberg S. Handbook of Boolean Algebras (1989) North-Holland.

[18]  MacNeille HM. Extension of a distributive lattice to a Boolean ring. Bull. Amer. Math. Soc. (1939) 45:452–455.[CrossRef]

[19]  Donald Monk J. Automorphism groups. In: Handbook of Boolean algebras—Donald Monk J, Bonnet Robert, eds. (1989) North-Holland.

[20]  Morozov AS. Groups of recursive automorphisms of constructive Boolean algebras. Algebra and Logic (1983) 22(2):95–112.[CrossRef]

[21]  Morozov AS, Kasymkhanuly B. Boolean algebras with finite families of computable automorphisms. Siberian Mathematical Journal (2004) 45(1):141–145.[CrossRef][Web of Science]

[22]  Mundici D. Interpretation of AF C.-algebras in Lukasziewicz sentential calculus. J. Functional Analysis (1986) 65:15–53.[CrossRef]

[23]  Niederkorn P. Natural dualities for varieties of MV-algebras. J. Math. Anal. Appl. (2001) 255:58–73.[CrossRef][Web of Science]

[24]  Di Nola A, Lettieri A. One chain generated varieties of MV-algebras. (2000) 225:667–697.

[25]  Pulmannová S. Congruences in partial abelian semigroups. Algebra univers. (1997) 37:119–140.[CrossRef]

[26]  Pulmannová S, Vinceková E. Ideals in MV-pairs. Soft Computing (2008) 12:1199–1204.[CrossRef][Web of Science]

[27]  Rubin Matayahu. On reconstruction of the boolean algebras from their automorphism groups. In: Handbook of Boolean algebras—Donald Monk J, Bonnet Robert, eds. (1989) 2. North-Holland. 547–605. chapter 14.

[28]  Vetterlein Thomas. Boolean algebras with an automorphism group: a framework for ukasiewicz logic. J. Mult.-Val. Log. Soft Comput. (2008) 14:51–67.

CiteULike    Connotea    Del.icio.us    What's this?

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Di Nola, A. Articles by Jenca, G. Social Bookmarking          What's this?