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 1/2017

07.10.2016 | Focus

Complexity of some language fragments of fuzzy logics

verfasst von: Zuzana Haniková

Erschienen in: Soft Computing | Ausgabe 1/2017

Einloggen

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

search-config
loading …

Abstract

Computational complexity of the semigroup fragment (of the algebraic semantics) and the implicational fragment of some fuzzy logics is studied, from the perspective of the complexity of the full logic. The available results appear to confirm the key role of the implicational fragments. Some other language fragments, as well as the notion of language fragment itself, are discussed.
Vorheriger Artikel Generalised states: a multi-sorted algebraic approach to probability
Nächster Artikel Free weak nilpotent minimum 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
Fußnoten
1
An extension is understood to be an axiomatic extension in the same language.
 
2
It follows from that paper that the implicational fragment of product logic is contained in the implicational fragment of Łukasiewicz logic; this also follows from the fact that the standard MV-algebra is isomorphic to the cut product algebra (cf. Hájek 1998).
 
3
A propositional logic can itself be regarded as a syntactic fragment of its (putative) predicate expansions.
 
4
Proofs are of polynomial size in formula size; the same is true about, e.g., BCI and indeed MLL, cf. Buzskowski (2008) and Kanovich (1991).
 
Literatur
Aglianò P, Ferreirim IMA, Montagna F (2007) Basic hoops: an algebraic study of continuous t-norms. Stud Logica 87(1):73–98CrossRefMATHMathSciNet
Baaz M, Hájek P, Montagna F, Veith H (2002) Complexity of t-tautologies. Ann Pure Appl Log 113(1–3):3–11MATHMathSciNet
Bezhanishvili N, Galatos N, Spada L (2015) Canonical formulas for k-potent commutative, integral, residuated lattices. arXiv:​1509.​07980
Běhounek L, Cintula P, Hájek P (2011) Introduction to mathematical fuzzy logic. In: Cintula P, Hájek P, Noguera C (eds) Handbook of mathematical fuzzy logic, vol 1. College Publications, London, pp 1–101
Blok WJ, van Alten CJ (2002) The finite embeddability property for residuated lattices, pocrims and BCK-algebras. Algebra Universalis 48(3):253–271CrossRefMATHMathSciNet
Bloniarz PA, Hunt HB III, Rosenkrantz DJ (1984) Algebraic structures with hard equivalence and minimization problems. J ACM 31:879–904CrossRefMATHMathSciNet
Buzskowski W (2008) On the complexity of some substructural logics. Rep Math Log 43:5–24MathSciNet
Cignoli R, Torrens A (2006) Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^2) = (2x)^2\). Stud Logica 83(1–3):157–181
Cintula P, Hájek P (2009) Complexity issues in axiomatic extensions of Łukasiewicz logic. J Log Comput 19(2):245–260CrossRefMATH
Cintula P, Hájek P, Horčík R (2007) Formal systems of fuzzy logic and their fragments. Ann Pure Appl Log 150(1–3):40–65CrossRefMATHMathSciNet
Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics, volume 151 of studies in logic and the foundations of mathematics. Elsevier, AmsterdamMATH
Gehrke M, Walker C, Walker E (2004) Varieties generated by T-norms. Soft Comput 8:264–267CrossRefMATH
Glivenko MV (1929) Sur quelques points de la logique de M. Brouwer. Bulletins de la classe des sciences 15:183–188MATH
Hájek P (1998) Metamathematics of fuzzy logic, volume 4 of trends in logic. Kluwer, DordrechtCrossRefMATH
Haniková Z (2011) Computational complexity of propositional fuzzy logics. In: Cintula P, Hájek P, Noguera C (eds) Handbook of mathematical fuzzy logic, vol 2. College Publications, London, pp 793–851
Horčík R, Terui K (2011) Disjunction property and complexity of substructural logics. Theoret Comput Sci 412(31):3992–4006CrossRefMATHMathSciNet
Kanovich M (1991) The multiplicative fragment of linear logic is NP-complete. Technical Report X-91-13, Institute for Logic, Language and Information, Amsterdam
Mayr EW, Meyer AR (1982) The complexity of the word problems for commutative semigroups and polynomial ideals. Adv Math 46:305–329CrossRefMATHMathSciNet
Ono H (2010) Logic without the contraction rule and residuated lattices. Australas J Log 8:50–81MATHMathSciNet
Metadaten
Titel
Complexity of some language fragments of fuzzy logics
verfasst von
Zuzana Haniková
Publikationsdatum
07.10.2016
Verlag
Springer Berlin Heidelberg
Erschienen in
Soft Computing / Ausgabe 1/2017
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-016-2346-0

Weitere Artikel der Ausgabe 1/2017

Soft Computing 1/2017 Zur Ausgabe

Methodologies and Application

Uncertain minimum cost multicommodity flow problem

Methodologies and Application

A new branch-and-bound approach to semi-supervised support vector machine

Methodologies and Application

Assessment of prediction ability for reduced probabilistic neural network in data classification problems

Focus

Density revisited

Focus

On strong standard completeness in some MTL expansions

Focus

Deciding logics of linear Kripke frames with scattered end pieces