Skip to main content
Erschienen in: Soft Computing 23/2017

09.07.2016 | Methodologies and Application

A topological duality for monadic MV-algebras

verfasst von: Aldo Figallo-Orellano

Erschienen in: Soft Computing | Ausgabe 23/2017

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Monadic MV-algebras are an algebraic model of first-order infinite-valued Łukasiewicz logic in which only one propositional variable is considered. In this paper, we determine a topological duality for these algebras following well-known P. Halmos’ and H. Priestley’s dualities.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat Balbes R, Dwinger P (1974) Distributive lattices. University of Missouri Press, MissouriMATH Balbes R, Dwinger P (1974) Distributive lattices. University of Missouri Press, MissouriMATH
Zurück zum Zitat Chang CC (1958) Algebraic analysis of many valued logics. Trans Am Math Soc 88:476–490 Chang CC (1958) Algebraic analysis of many valued logics. Trans Am Math Soc 88:476–490
Zurück zum Zitat Cignoli R, D’Ottaviano I, Mundici D (2000) Algebraic foundations of many-valued reasoning. Trends in Logic Studia Logica Library, vol 7. Kluwer, DordrechtMATH Cignoli R, D’Ottaviano I, Mundici D (2000) Algebraic foundations of many-valued reasoning. Trends in Logic Studia Logica Library, vol 7. Kluwer, DordrechtMATH
Zurück zum Zitat Halmos PR (1962) Algebraic logic. AMS Chelsea Publishing, New York Halmos PR (1962) Algebraic logic. AMS Chelsea Publishing, New York
Zurück zum Zitat Lattanzi M (2004) Wajsberg algebras with a \(U\)-operator. J Multi-valued Log Soft Comput 10(4):315–338MATHMathSciNet Lattanzi M (2004) Wajsberg algebras with a \(U\)-operator. J Multi-valued Log Soft Comput 10(4):315–338MATHMathSciNet
Zurück zum Zitat Lattanzi M, Petrovich A (2008) A duality for monadic (n+1)-valued MV-algebras. In: Proceedings of the 9th “Dr. Antonio A. R. Monteiro” congress (Spanish), pp 107–117 Lattanzi M, Petrovich A (2008) A duality for monadic (n+1)-valued MV-algebras. In: Proceedings of the 9th “Dr. Antonio A. R. Monteiro” congress (Spanish), pp 107–117
Zurück zum Zitat Mundici D (1986) Interpretation of AF \(\text{ C }^{\ast }\)-algebras in Lukasiewicz sentential calculus. J Funct Anal 65(1):15–63CrossRefMATHMathSciNet Mundici D (1986) Interpretation of AF \(\text{ C }^{\ast }\)-algebras in Lukasiewicz sentential calculus. J Funct Anal 65(1):15–63CrossRefMATHMathSciNet
Zurück zum Zitat Rodriguez Salas AJ (1980) Un estudio algebraico de los Cálculos Proposicionales de Łukasiewicz, Tesis Doctoral, Universidad de Barcelona Rodriguez Salas AJ (1980) Un estudio algebraico de los Cálculos Proposicionales de Łukasiewicz, Tesis Doctoral, Universidad de Barcelona
Zurück zum Zitat Rutledge JD (1959) A preliminary investigation of the infinitely many-valued predicate calculus. Ph.D. Thesis, Cornell University Rutledge JD (1959) A preliminary investigation of the infinitely many-valued predicate calculus. Ph.D. Thesis, Cornell University
Metadaten
Titel
A topological duality for monadic MV-algebras
verfasst von
Aldo Figallo-Orellano
Publikationsdatum
09.07.2016
Verlag
Springer Berlin Heidelberg
Erschienen in
Soft Computing / Ausgabe 23/2017
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-016-2255-2

Weitere Artikel der Ausgabe 23/2017

Soft Computing 23/2017 Zur Ausgabe