Skip to main content
Top
Published in: Soft Computing 2/2021

05-01-2021 | Foundations

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

Authors: Anatolij Dvurečenskij, Omid Zahiri

Published in: Soft Computing | Issue 2/2021

Log in

Activate our intelligent search to find suitable subject content or patents.

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

Literature
go back to reference 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
go back to reference 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
go back to reference 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
go back to reference 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
go back to reference 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
go back to reference 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
go back to reference Grätzer G (2011) Lattice theory: foundation. Springer Science & Business Media, BerlinCrossRef Grätzer G (2011) Lattice theory: foundation. Springer Science & Business Media, BerlinCrossRef
go back to reference Givant S, Halmos P (2009) Introduction to boolean algebras. Springer, BerlinMATH Givant S, Halmos P (2009) Introduction to boolean algebras. Springer, BerlinMATH
go back to reference 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
go back to reference 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
Metadata
Title
Locally -complete and locally complete EMV-algebras
Authors
Anatolij Dvurečenskij
Omid Zahiri
Publication date
05-01-2021
Publisher
Springer Berlin Heidelberg
Published in
Soft Computing / Issue 2/2021
Print ISSN: 1432-7643
Electronic ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-020-05486-3

Other articles of this Issue 2/2021

Soft Computing 2/2021 Go to the issue

Premium Partner