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

01.06.2014 | Foundations

On (finite) distributive lattices with antitone involutions

verfasst von: Michal Botur, Jan Kühr

Erschienen in: Soft Computing | Ausgabe 6/2014

Einloggen

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

search-config
loading …

Abstract

Distributive lattices with antitone involutions (or equivalently, distributive basic algebras) are studied. It is proved that in the finite case their underlying lattices are isomorphic to direct products of finite chains, and hence finite distributive basic algebras can be constructed by “perturbing” finite MV-algebras, and moreover, under certain natural conditions, they even coincide with finite MV-algebras. Sharp elements in basic algebras satisfying these natural conditions are studied, too.

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 Botur M, Halač R (2007) Finite commutative basic algebras are MV-algebras. J Mult Val Log Soft Comput 14:69–80 Botur M, Halač R (2007) Finite commutative basic algebras are MV-algebras. J Mult Val Log Soft Comput 14:69–80
Zurück zum Zitat Chajda I, Halaš R (2012) The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chains. Inf Sci 199:179–186CrossRefMATH Chajda I, Halaš R (2012) The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chains. Inf Sci 199:179–186CrossRefMATH
Zurück zum Zitat Chajda I, Halaš R, Kühr J (2009) Many valued quantum algebras. Algebra Univers 60:63–90CrossRefMATH Chajda I, Halaš R, Kühr J (2009) Many valued quantum algebras. Algebra Univers 60:63–90CrossRefMATH
Zurück zum Zitat Chajda I, Emanovský P (2004) Bounded lattices with antitone involutions and properties of MV-algebras. Discuss Math Gen Algebra Appl 24:31–42CrossRefMATHMathSciNet Chajda I, Emanovský P (2004) Bounded lattices with antitone involutions and properties of MV-algebras. Discuss Math Gen Algebra Appl 24:31–42CrossRefMATHMathSciNet
Zurück zum Zitat Chajda I, Kolařík M (2009) Independence of axiom system of basic algebras. Soft Comput 13:41–43CrossRefMATH Chajda I, Kolařík M (2009) Independence of axiom system of basic algebras. Soft Comput 13:41–43CrossRefMATH
Zurück zum Zitat Chajda I, Kühr J (2013) Ideals and congruences of basic algebras. Soft Comput 17:401–410CrossRefMATH Chajda I, Kühr J (2013) Ideals and congruences of basic algebras. Soft Comput 17:401–410CrossRefMATH
Zurück zum Zitat Cignoli RLO, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning. Kluwer, DordrechtCrossRefMATH Cignoli RLO, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning. Kluwer, DordrechtCrossRefMATH
Zurück zum Zitat Dvurečenskij A (2004) States on pseudo-effect algebras with general comparability. Kybernetika 40:397–420MATHMathSciNet Dvurečenskij A (2004) States on pseudo-effect algebras with general comparability. Kybernetika 40:397–420MATHMathSciNet
Zurück zum Zitat Jenča G (2013) Congruences generated by ideals of the compatibility center of lattice effect algebras. Soft Comput 17:45–47 Jenča G (2013) Congruences generated by ideals of the compatibility center of lattice effect algebras. Soft Comput 17:45–47
Zurück zum Zitat Krňávek J, Kühr J (2011) Pre-ideals of basic algebras. Int. J. Theor. Phys. 50:3828–3843 Krňávek J, Kühr J (2011) Pre-ideals of basic algebras. Int. J. Theor. Phys. 50:3828–3843
Zurück zum Zitat Rachůnek J, Šalounová D (2011) Extremal states on bounded residuated \(\ell \)-monoids with general comparability. Soft Comput. 15:199–203 Rachůnek J, Šalounová D (2011) Extremal states on bounded residuated \(\ell \)-monoids with general comparability. Soft Comput. 15:199–203
Metadaten
Titel
On (finite) distributive lattices with antitone involutions
verfasst von
Michal Botur
Jan Kühr
Publikationsdatum
01.06.2014
Verlag
Springer Berlin Heidelberg
Erschienen in
Soft Computing / Ausgabe 6/2014
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-013-1205-5

Weitere Artikel der Ausgabe 6/2014

Soft Computing 6/2014 Zur Ausgabe