Skip to main content
Springer Nature Link
Log in

Topological spaces of monadic MV-algebras

  • Foundations
  • Published:
Soft Computing Aims and scope Submit manuscript

Abstract

We construct a covariant functor \(\gamma \) from the category of monadic MV-algebras into the category of Q-distributive lattices, i.e., distributive lattices with quantifier introduced by R. Cignoli. For every monadic MV-algebra, we construct a dual object named QM-space; these objects form a special subcategory of spectral spaces and of Q-spaces developed by R. Cignoli for Q-distributive lattices.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  • Belluce LP (1986) Semisimple algebras of infinite-valued logic and bold fuzzy set theory. Can J Math 38:1356–1379

    Article  MathSciNet  MATH  Google Scholar 

  • Belluce LP, Chang CC (1963) A weak completeness theorem for infinite valued 2rst-order logic. J Symb Logic 28:43–50

    Article  MATH  Google Scholar 

  • Belluce LP, Grigolia R, Lettieri A (2005) Representations of monadic MV- algebras. Stud Logica 81:125–144

    MathSciNet  MATH  Google Scholar 

  • Cecilia C, Diaz Varela JP (2014) Monadic MV-algebras I: a study of subvarieties. Algebra Universalis 71(1):71–100

    Article  MathSciNet  MATH  Google Scholar 

  • Chang CC (1958) Algebraic analysis of many-valued logics. Trans Am Math Soc 88:467–490

    Article  MathSciNet  MATH  Google Scholar 

  • Cignoli R (1978) The lattice of global section of sheaves of chains over Boolean spaces. Algebra Universalis 8:357–373

    Article  MathSciNet  MATH  Google Scholar 

  • Cignoli R (1991) Quantifiers on distributive lattices. Discrete Math 96:183–197

    Article  MathSciNet  MATH  Google Scholar 

  • Davey BA, Priestley HA (2002) Introduction to lattices and order, 2nd edn. Cambridge University Press, Cambridge

    Book  MATH  Google Scholar 

  • Di Nola A, Grigolia R (2002) MV-algebras in duality with labeled root systems. Discrete Math 243:79–90

    Article  MathSciNet  MATH  Google Scholar 

  • Di Nola A, Grigolia R (2004a) On monadic MV-algebras. Ann Pure Appl Logic 128:125–139

    Article  MathSciNet  MATH  Google Scholar 

  • Di Nola A, Grigolia R (2004b) Profinite MV-spaces. Discrete Math 283:61–69

    Article  MathSciNet  MATH  Google Scholar 

  • Diego C, Cecilia C, Diaz Varela JP, Laura R (2017) Monadic BL-algebras: the equivalent algebraic semantics of Hajek’s monadic fuzzy logic. Fuzzy Sets Syst 320:40–59

    Article  MATH  Google Scholar 

  • Hay LS (1958) An axiomatization of the infinitely many-valued calculus, M.S. Thesis, Cornell University

  • Horn A (1969) Logic with truth values in a linearly ordered Heyting algebra. J Symb Logic 34:395–408

    Article  MathSciNet  MATH  Google Scholar 

  • Łukasiewicz J, Tarski A (1930) Untersuchungen über den Aussagenkalkül. Comptes Rendus des seances de la Societe des Sciences et des Lettres de Varsovie 23(cl iii):30–50

    MATH  Google Scholar 

  • Muresan C (2008) The reticulation of a residuated lattice. Bull Math Soc Sci Math Roumanie (N.S.) 51(99), no. 1, 4765

  • Priestley HA (1972) Representation of distributive lattices by means of ordered Stone spaces. Bull Lond Math Soc 2:186–190

    Article  MathSciNet  MATH  Google Scholar 

  • Priestley HA (1984) Ordered sets and duality for distributive lattices. Ann Discret Math 23:39–60

    MathSciNet  MATH  Google Scholar 

  • Rutledge JD (1959) A preliminary investigation of the infinitely many-valued predicate calculus, Ph.D. Thesis, Cornell University

Download references

Author information

Authors and Affiliations

  1. University of Salerno, Fisciano, Italy

    Antonio Di Nola & Giacomo Lenzi

  2. I.I.A.S.S. “E. R. Caianiello”, Vietri sul Mare, SA, Italy

    Antonio Di Nola

  3. University of Tbilisi, Tbilisi, Georgia

    Revaz Grigolia

Authors
  1. Antonio Di Nola
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Revaz Grigolia
    View author publications

    You can also search for this author inPubMed Google Scholar

  3. Giacomo Lenzi
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Giacomo Lenzi.

Ethics declarations

Conflict of interest

All authors declare that they have no conflicts of interest.

Additional information

Communicated by A. Di Nola.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Di Nola, A., Grigolia, R. & Lenzi, G. Topological spaces of monadic MV-algebras. Soft Comput 23, 375–381 (2019). https://doi.org/10.1007/s00500-018-3166-1

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-018-3166-1

Keywords