Skip to main content
Log in

Relative MV-algebras and relative homomorphisms

  • Published:
Mathematica Slovaca

Abstract

In this paper we define the notion of relative subalgebra of an MV-algebra A. A particular case of this notion is the notion of interval subalgebra of A; this has been already studied in the literature.

Applying these notions, two new categories denoted as r

and int

are introduced. In both cases the objects are MV-algebras, but the homomorphisms are defined by means of relative subalgebras or by interval subalgebras, respectively. The relations occurring between these categories and the category of all MV-algebras with usual homomorphisms are investigated. The main results of the paper deal with one-generated free MV-algebras in the variety generated by the finite chains S i , ip (p varying over the set of all positive integers) and their relations to certain relative subalgebras of the cyclic free MV-algebra.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. BELLUCE, L. P.—DI NOLA, A.: Yosida-type representation for perfect MV-algebras, MLQ Math. Log. Q. 42 (1996), 551–563.

    Article  MATH  MathSciNet  Google Scholar 

  2. CIGNOLI, R. L. O.—D’OTTAVIANO, I. M. L.—MUNDICI, D.: Algebraic Foundations of Many-valued Reasoning. Trends Log. Stud. Log. Libr., Kluwer, Dordrecht, 2000.

    MATH  Google Scholar 

  3. DI NOLA, A.—GRIGOLIA, R.—PANTI, G.: Finitely generated free MV-algebras and their automorphism groups, Studia Logica 61 (1998), 65–78.

    Article  MATH  MathSciNet  Google Scholar 

  4. DE SIMONE, A.—MUNDICI, D.—NAVARA, M.: A Cantor-Bernstein theorem for σ-complete MV-algebras, Czechoslovak Math. J. 53(128) (2003), 437–447.

    Article  MATH  MathSciNet  Google Scholar 

  5. DI NOLA, A.—NAVARA, M.: Cantor-Bernstein property for MV-algebras. In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Springer, Berlin-Heidelberg, 2006, pp. 107–118.

    Google Scholar 

  6. JAKUBÍK, J.: Cantor-Bernstein theorem for MV-algebras, Czechoslovak Math. J. 49(124) (1999), 517–526.

    Article  MATH  MathSciNet  Google Scholar 

  7. LACAVA, F.: Sulla struttura delle Ł-algebre, Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl. 8, (1979), 275–281.

    MathSciNet  Google Scholar 

  8. LACAVA, F.: Una caratterizzazione delle Ł-algebre complete, prive di atomi, Boll. Unione Mat. Ital. Sez. A (7) 9 (1995), 609–618.

    MATH  MathSciNet  Google Scholar 

  9. MONK, J. D.: Handbook of Boolean Algebras, North Holland, Basel, 1989.

    MATH  Google Scholar 

  10. SIKORSKI, R.: A generalization of a theorem of Banach and Cantor-Bernstein, Colloq. Math. 1 (1948), 140–144.

    MATH  MathSciNet  Google Scholar 

  11. TARSKI, A.: Cardinal Algebras, Oxford University Press, New York, 1949.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Antonio Di Nola.

Additional information

Communicated by Anatolij Dvurečenskij

About this article

Cite this article

Di Nola, A., Lettieri, A. Relative MV-algebras and relative homomorphisms. Math. Slovaca 60, 43–64 (2010). https://doi.org/10.2478/s12175-009-0166-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.2478/s12175-009-0166-8

2000 Mathematics Subject Classification

Keywords

Navigation