Skip to main content
main-content

Tipp

Weitere Artikel dieser Ausgabe durch Wischen aufrufen

01.07.2014 | Foundations | Ausgabe 7/2014

Soft Computing 7/2014

Graded consequence: an institution theoretic study

Zeitschrift:
Soft Computing > Ausgabe 7/2014
Autor:
Răzvan Diaconescu
Wichtige Hinweise
Communicated by L. Spada.

Abstract

We develop a general study of graded consequence (of many-valued logic) in an institution theoretic (in the sense of Goguen and Burstall) style. This means both syntax and semantics are considered fully abstract, as well as the satisfaction between them. Our approach contrasts to other approaches on many-valued logic in that it is a multi-signature one, in the spirit of institution theory. We consider graded consequence at three different conceptual levels: entailment, semantic, and closure operators, and explore several interpretations between them. We also study logical connectors and quantifiers both at the entailment and semantic level, compactness and soundness properties.

Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten

Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 69.000 Bücher
  • über 500 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Umwelt
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Testen Sie jetzt 30 Tage kostenlos.

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 58.000 Bücher
  • über 300 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Testen Sie jetzt 30 Tage kostenlos.

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 50.000 Bücher
  • über 380 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Umwelt
  • Maschinenbau + Werkstoffe​​​​​​​




Testen Sie jetzt 30 Tage kostenlos.

Literatur
Über diesen Artikel

Weitere Artikel der Ausgabe 7/2014

Soft Computing 7/2014 Zur Ausgabe

Methodologies and Application

Improved RM-MEDA with local learning

Premium Partner

    Bildnachweise