Skip to main content
Erschienen in: Soft Computing 6/2016

22.10.2015 | Foundations

Riesz decomposition properties and the lexicographic product of po-groups

verfasst von: Anatolij Dvurečenskij

Erschienen in: Soft Computing | Ausgabe 6/2016

Einloggen

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

search-config
loading …

Abstract

We establish conditions when a certain type of the Riesz decomposition property (RDP) holds in the lexicographic product of two po-groups. It is well known that the resulting product is an \(\ell \)-group if and only if the first one is linearly ordered and the second one is an \(\ell \)-group. This can be equivalently studied as po-groups with a special type of the RDP. In the paper we study three different types of RDPs. RDPs of the lexicographic products are important for the study of pseudo effect algebras where infinitesimal elements play an important role both for algebras as well as for the first-order logic of valid but not provable formulas.

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 Buhagiar D, Chetcuti E, Dvurečenskij A (2006) Loomis-Sikorski representation of monotone \(\sigma \)-complete effect algebras. Fuzzy Sets Syst 157:683–690MathSciNetCrossRefMATH Buhagiar D, Chetcuti E, Dvurečenskij A (2006) Loomis-Sikorski representation of monotone \(\sigma \)-complete effect algebras. Fuzzy Sets Syst 157:683–690MathSciNetCrossRefMATH
Zurück zum Zitat Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning. Kluwer Academic Publishers, DordrechtCrossRefMATH Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning. Kluwer Academic Publishers, DordrechtCrossRefMATH
Zurück zum Zitat Darnel MR (1995) Theory of lattice-ordered groups. Marcel Dekker Inc, New YorkMATH Darnel MR (1995) Theory of lattice-ordered groups. Marcel Dekker Inc, New YorkMATH
Zurück zum Zitat Di Nola A, Lettieri A (1994) Perfect MV-algebras are categorical equivalent to abelian \(\ell \)-groups. Studia Logica 53:417–432MathSciNetCrossRefMATH Di Nola A, Lettieri A (1994) Perfect MV-algebras are categorical equivalent to abelian \(\ell \)-groups. Studia Logica 53:417–432MathSciNetCrossRefMATH
Zurück zum Zitat Dvurečenskij A (2007) Perfect effect algebras are categorically equivalent with Abelian interpolation po-groups. J Aust Math Soc 82:183–207MathSciNetCrossRefMATH Dvurečenskij A (2007) Perfect effect algebras are categorically equivalent with Abelian interpolation po-groups. J Aust Math Soc 82:183–207MathSciNetCrossRefMATH
Zurück zum Zitat Dvurečenskij A (2015a) How do \(\ell \)-groups and po-groups appear in algebraic and quantum structures? In: Montagna F et al (eds) Petr Hájek on mathematical fuzzy logic. Outstanding contributions to logic, vol 6. Springer, Berlin, pp 177–206. doi:10.1007/978-3-319-06233-4-9. ISBN 978-3-319-06232-7 Dvurečenskij A (2015a) How do \(\ell \)-groups and po-groups appear in algebraic and quantum structures? In: Montagna F et al (eds) Petr Hájek on mathematical fuzzy logic. Outstanding contributions to logic, vol 6. Springer, Berlin, pp 177–206. doi:10.​1007/​978-3-319-06233-4-9. ISBN 978-3-319-06232-7
Zurück zum Zitat Dvurečenskij A (2015b) Lexicographic effect algebras. Algebra Universalis (to appear) Dvurečenskij A (2015b) Lexicographic effect algebras. Algebra Universalis (to appear)
Zurück zum Zitat Dvurečenskij A, Pulmannová S (2000) New trends in quantum structures. Kluwer Academic Publishers/Ister Science, Dordrecht/BratislavaCrossRefMATH Dvurečenskij A, Pulmannová S (2000) New trends in quantum structures. Kluwer Academic Publishers/Ister Science, Dordrecht/BratislavaCrossRefMATH
Zurück zum Zitat Dvurečenskij A, Vetterlein T (2001b) Pseudoeffect algebras. II. Group representation. Int J Theor Phys 40:703–726CrossRefMATH Dvurečenskij A, Vetterlein T (2001b) Pseudoeffect algebras. II. Group representation. Int J Theor Phys 40:703–726CrossRefMATH
Zurück zum Zitat Dvurečenskij A, Vetterlein T (2003) On pseudo-effect algebras which can be covered by pseudo MV-algebras. Demonstr Math 36:261–282MathSciNetMATH Dvurečenskij A, Vetterlein T (2003) On pseudo-effect algebras which can be covered by pseudo MV-algebras. Demonstr Math 36:261–282MathSciNetMATH
Zurück zum Zitat Fuchs L (1963) Partially ordered algebraic systems. Pergamon Press, OxfordMATH Fuchs L (1963) Partially ordered algebraic systems. Pergamon Press, OxfordMATH
Zurück zum Zitat Goodearl KR (1986) Partially ordered abelian groups with interpolation. Mathematical surveys and monographs, vol 20. American Mathematical Society, Providence Goodearl KR (1986) Partially ordered abelian groups with interpolation. Mathematical surveys and monographs, vol 20. American Mathematical Society, Providence
Zurück zum Zitat Rachůnek J (2002) A non-commutative generalization of MV-algebras. Czechoslov Math J 52:255–273 Rachůnek J (2002) A non-commutative generalization of MV-algebras. Czechoslov Math J 52:255–273
Zurück zum Zitat Ravindran K (1996) On a structure theory of effect algebras. PhD thesis, Kansas State University, Manhattan, Kansas Ravindran K (1996) On a structure theory of effect algebras. PhD thesis, Kansas State University, Manhattan, Kansas
Zurück zum Zitat Riečanová Z (2000) Generalization of blocks for D-lattice and lattice ordered effect algebras. Int J Theor Phys 39:231–237MathSciNetCrossRefMATH Riečanová Z (2000) Generalization of blocks for D-lattice and lattice ordered effect algebras. Int J Theor Phys 39:231–237MathSciNetCrossRefMATH
Metadaten
Titel
Riesz decomposition properties and the lexicographic product of po-groups
verfasst von
Anatolij Dvurečenskij
Publikationsdatum
22.10.2015
Verlag
Springer Berlin Heidelberg
Erschienen in
Soft Computing / Ausgabe 6/2016
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-015-1903-2

Weitere Artikel der Ausgabe 6/2016

Soft Computing 6/2016 Zur Ausgabe