nach oben

Soft Computing

Erschienen in:

01.02.2015 | Foundations

On varieties of basic algebras

verfasst von: Ivan Chajda, Radomír Halaš

Erschienen in: Soft Computing | Ausgabe 2/2015

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

It is known that the variety of commutative basic algebras, the variety of MV-algebras, the variety of orthomodular lattices and hence also the variety of Boolean algebras are proper subvarieties of the variety of basic algebras. In the paper several possible axiomatizations of the variety of basic algebras are provided. The variety of symmetric basic algebras is introduced and shown to be a proper subvariety of the variety of commutative basic algebras, and whose members have the underlying lattices distributive. It is proved that commutative basic algebras can be described as residuated \(l\)-groupoids.

Nächster Artikel The representation of square root quasi-pseudo-MV 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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

Beran L (1985) Orthomodular lattices, algebraic approach. Reidel, DordrechtCrossRefMATH

Bělohlávek R (2002) Fuzzy relational systems, foundations and principles. Kluwer/Plenum, Dordrecht/New YorkCrossRefMATH

Botur M (2010) An example of a commutative basic algebra which is not an MV-algebra. Math Slovaca 60:171–178CrossRefMATHMathSciNet

Botur M, Chajda I, Halaš R (2010) Are basic algebras residuated structures? Soft Comput 14:251–255CrossRefMATH

Botur M, Halaš R (2009) Commutative basic algebras and non-associative fuzzy logics. Arch Math Logic 48:243–255CrossRefMATHMathSciNet

Botur M, Halaš R (2008) Finite commutative basic algebras are MV-effect algebras. J Mult Value Log Soft Comput 14:69–80MATH

Chajda I (2011) Basic algebras and their applications, an overview. Contributions to general algebra, vol 20, pp 1–10

Chajda I, Halaš R, Kühr J (2005) Distributive lattices with sectionally antitone involutions. Acta Sci Math Szeged 71:19–23

Chajda I, Halaš R, Kühr J (2007) Semilattice structures. Heldermann Verlag, LemgoMATH

Chajda I, Halaš R, Kühr J (2009) Many-valued quantum algebras. Algebr Universalis 60:63–90CrossRefMATH

Chajda I, Kolařík M (2009) Independence of axiom system of basic algebras. Soft Comput 13:41–43CrossRefMATH

Kolařík M (2013) Independence of the axiomatic system for MV-algebras. Math Slovaca 63(1):1–4CrossRefMATHMathSciNet

Padmanabhan R, Quackenbush RW (1973) Equational theories of algebras with distributive congruences. Proc Am Math Soc 41:373–377CrossRefMATHMathSciNet

Pixley AF (1979) Characterizations of arithmetical varieties. Algebr Universalis 9:87–98CrossRefMATHMathSciNet

Titel: On varieties of basic algebras
verfasst von: Ivan Chajda
Radomír Halaš
Publikationsdatum: 01.02.2015
Verlag: Springer Berlin Heidelberg
Erschienen in: Soft Computing / Ausgabe 2/2015
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI: https://doi.org/10.1007/s00500-014-1365-y

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Weitere Artikel der Ausgabe 2/2015

A fuzzy logic-based system for the automation of human behavior recognition using machine vision in intelligent environments

A fast particle swarm optimization for clustering

Genetic algorithm with ensemble of immigrant strategies for multicast routing in Ad hoc networks

Multi-criteria group decision making method based on interval 2-tuple linguistic information and Choquet integral aggregation operators

A new study on first-order fuzzy Fredholm–Volterra integro-differential equations by Jacobi polynomials and collocation methods

Combinatorial neighborhood topology bumble bees mating optimization for the vehicle routing problem with stochastic demands