Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Soft Computing
Erschienen in: Soft Computing 7/2011

01.07.2011 | Original Paper

Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts

verfasst von: Diego Castaño, José Patricio Díaz Varela, Antoni Torrens

Erschienen in: Soft Computing | Ausgabe 7/2011

Einloggen

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

search-config
loading …

Abstract

In this paper, we show that free algebras in the variety of residuated lattices and some of its subvarieties are directly indecomposable and show, as a consequence, the direct indecomposability of free algebras for some classes of their bounded implicative subreducts.
Vorheriger Artikel Optimization in dynamic environments: a survey on problems, methods and measures

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
Literatur
Aglianò P, Ferreirim IMA, Montagna F (2007) Basic hoops an algebraic study of continuous t-norms. Stud Log 87:73–98CrossRefMATH
Blok WJ, Pigozzi D (1989) Algebraizable logic. Memoirs of the American Mathematical Society, Providence, RI
Burris S, Sankappanavar HP (1981) A course in universal algebra, graduate texts in mathematics 78. Springer, New York
Cignoli R, Torrens A (2003) Hájek basic fuzzy logic and Łkasiewicz infinite-valued logic. Arch Math Logic 42
Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic of left-continuous t-norms. Fuzzy Sets Syst 124(3):271–288MathSciNetCrossRefMATH
Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics. Stud Log 151
Gispert J, Torrens A (2008) Boolean representation of bounded BCK-algebras. Soft Comput 12(10):941–954CrossRefMATH
Grätzer G (1979) Universal algebra, 2nd edn. Springer, New YorkMATH
Grišin VN (1981) Predicate and set-theoretic calculi based on logic without contractions. Math USSR Izvestija 18(1):41–59
Höhle U (1995) Commutative, residuated l-monoids. In: Höhle U, Klement EP (eds) Non-classical logics and their applications to fuzzy subsets: a handbook on the mathematical foundations of fuzzy set theory. Kluwer, Boston, pp 53–106
Kowalski T, Ono H (2000) The variety of residuated lattices is generated by its finite simple members. Rep Math Log 34:59–77MathSciNetMATH
Kowalski T, Ono H (2001) Residuated lattices: an algebraic glimpse at logics without contraction. Advanced Institut of Science and Thechnology, Japan
Monteiro AA (1980) Sur les algèbres de Heyting symmétriques. Port Math 39:1–237MathSciNet
Suoma D (2007) An algebraic approach to the disjunction property of substructural logic. Notre Dame J Form Log 48:489–495CrossRef
Wroński A (1983) BCK algebras do not form a variety. Math Jpn 28:211–213MATH
Wroński A (1983) Reflections and distensions of BCK algebras. Math Jpn 28:215–225MATH
Metadaten
Titel
Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
verfasst von
Diego Castaño
José Patricio Díaz Varela
Antoni Torrens
Publikationsdatum
01.07.2011
Verlag
Springer-Verlag
Erschienen in
Soft Computing / Ausgabe 7/2011
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-010-0683-y

Weitere Artikel der Ausgabe 7/2011

Soft Computing 7/2011 Zur Ausgabe

Original Paper

A memetic ant colony optimization algorithm for the dynamic travelling salesman problem

Original Paper

A note on group decision-making procedure based on incomplete reciprocal relations

Original Paper

Model accuracy in the Bayesian optimization algorithm

Original Paper

Euler method for solving hybrid fuzzy differential equation

Original Paper

RM approach for ranking of L–R type generalized fuzzy numbers

Original Paper

Optimization in dynamic environments: a survey on problems, methods and measures