Skip to main content
Erschienen in: Soft Computing 2/2021

05.01.2021 | Foundations

Locally \(\sigma \)-complete and locally complete EMV-algebras

verfasst von: Anatolij Dvurečenskij, Omid Zahiri

Erschienen in: Soft Computing | Ausgabe 2/2021

Einloggen

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

search-config
loading …

Abstract

In the paper, we introduce the concept of a locally complete EMV-algebra and a locally \(\sigma \)-complete EMV-algebra. They are generalizations of a complete and \(\sigma \)-complete MV-algebra, respectively. We will find some representations for locally complete EMV-algebras with atomic idempotent elements. We prove that each EMV-algebra of this type is a subdirect product of directly indecomposable complete EMV-algebras with top element. Also, we find a necessary and sufficient condition for a locally complete EMV-algebra when its representing EMV-algebra with the greatest element 1 is complete. Finally, we investigate the Cantor–Bernstein-type theorems for locally \(\sigma \)-complete EMV-algebras and \(\sigma \)-complete EMV-algebras.

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 Chang CC (1959) A new proof of the completeness of the Łukasiewicz axioms. Trans Am Math Soc 93:74–80MATH Chang CC (1959) A new proof of the completeness of the Łukasiewicz axioms. Trans Am Math Soc 93:74–80MATH
Zurück zum Zitat Cignoli R (1991) Complete and atomic algebras of the infinite valued Łukasiewicz logic. Stud Logica 50:375–384CrossRef Cignoli R (1991) Complete and atomic algebras of the infinite valued Łukasiewicz logic. Stud Logica 50:375–384CrossRef
Zurück zum Zitat Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic Foundations of Many-valued Reasoning. Kluwer Academic Publications, DordrechtCrossRef Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic Foundations of Many-valued Reasoning. Kluwer Academic Publications, DordrechtCrossRef
Zurück zum Zitat De Simone A, Mundici D, Navara M (2003) A Cantor-Bernstein theorem for \(\sigma \)-complete MV-algebras. Czechoslov Math J 53:437–447MathSciNetCrossRef De Simone A, Mundici D, Navara M (2003) A Cantor-Bernstein theorem for \(\sigma \)-complete MV-algebras. Czechoslov Math J 53:437–447MathSciNetCrossRef
Zurück zum Zitat Dvurečenskij A, Pulmannová S (2000) New Trends in Quantum Structures, vol 541. Kluwer Academic Publications, Dordrecht, Ister Science, Bratislava, p xviCrossRef Dvurečenskij A, Pulmannová S (2000) New Trends in Quantum Structures, vol 541. Kluwer Academic Publications, Dordrecht, Ister Science, Bratislava, p xviCrossRef
Zurück zum Zitat Dvurečenskij A, Zahiri O (2019) Loomis-Sikorski theorem for \(\sigma \)-complete EMV-algebras. J Aust Math Soc 106:200–234MathSciNetCrossRef Dvurečenskij A, Zahiri O (2019) Loomis-Sikorski theorem for \(\sigma \)-complete EMV-algebras. J Aust Math Soc 106:200–234MathSciNetCrossRef
Zurück zum Zitat Freytes H (2013) Equational type characterization for \(\sigma \)-complete MV-algebras. Algeb Univ 69:139–166MathSciNetCrossRef Freytes H (2013) Equational type characterization for \(\sigma \)-complete MV-algebras. Algeb Univ 69:139–166MathSciNetCrossRef
Zurück zum Zitat Grätzer G (2011) Lattice theory: foundation. Springer Science & Business Media, BerlinCrossRef Grätzer G (2011) Lattice theory: foundation. Springer Science & Business Media, BerlinCrossRef
Zurück zum Zitat Givant S, Halmos P (2009) Introduction to boolean algebras. Springer, BerlinMATH Givant S, Halmos P (2009) Introduction to boolean algebras. Springer, BerlinMATH
Zurück zum Zitat Mundici D (1986) Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus. J Func Anal 65:15–63CrossRef Mundici D (1986) Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus. J Func Anal 65:15–63CrossRef
Zurück zum Zitat Mundici D (2011) Advanced Łukasiewicz calculus and MV-algebras. Springer, Dordrecht, Heidelberg, London, New YorkCrossRef Mundici D (2011) Advanced Łukasiewicz calculus and MV-algebras. Springer, Dordrecht, Heidelberg, London, New YorkCrossRef
Metadaten
Titel
Locally -complete and locally complete EMV-algebras
verfasst von
Anatolij Dvurečenskij
Omid Zahiri
Publikationsdatum
05.01.2021
Verlag
Springer Berlin Heidelberg
Erschienen in
Soft Computing / Ausgabe 2/2021
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-020-05486-3

Weitere Artikel der Ausgabe 2/2021

Soft Computing 2/2021 Zur Ausgabe

Premium Partner