Vor Ort
Merkzettel Warenkorb
  • Produktbild: Klassische und nichtklassische Aussagenlogik
  • Produktbild: Klassische und nichtklassische Aussagenlogik

Klassische und nichtklassische Aussagenlogik

Aus der Reihe Logik und Grundlagen der Mathematik

46,90 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1979

Abbildungen

361 S.

Verlag

Vieweg & Teubner

Seitenzahl

361

Maße (L/B/H)

24,4/17/2,1 cm

Gewicht

648 g

Auflage

1979

Sprache

Deutsch

ISBN

978-3-528-08385-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1979

Abbildungen

361 S.

Verlag

Vieweg & Teubner

Seitenzahl

361

Maße (L/B/H)

24,4/17/2,1 cm

Gewicht

648 g

Auflage

1979

Sprache

Deutsch

ISBN

978-3-528-08385-4

Herstelleradresse

Vieweg+Teubner Verlag
Abraham-Lincoln-Straße 46
65189 Wiesbaden
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Klassische und nichtklassische Aussagenlogik
  • Produktbild: Klassische und nichtklassische Aussagenlogik
  • Kap. I Zweiwertige Aussagenlogik.- § 1 Aussagenlogische Verknüpfungen und Boolesche Funktionen.- § 2 Aussagenlogische Formeln, Erfüllbarkeit, Allgemeingüitigkeit.- § 3 Logische Äquivalenz, Normalformen und funktionale Vollständigkeit.- § 4 Aussagenlogisches Folgern und der Endlichkeitssatz.- § 5 Interpolation und Definierbarkeit.- Kap.II Aussagenlogische Kalküle und Einführung in die Theorie der deduktiven Systeme.- §1 Der klassische Tableau-Kalkül.- §2 Klassische Regel-Kalküle und Axiom-Regel-Kalküle.- § 3 Deduktive Systeme — ein zweiter Vollständigkeitsbeweis.- § 4 Einführung in die Theorie der axiomatischen Systeme.- § 5 Logische Systeme und der Verband der L-Systeme.- Kap. III Mehrwertige Logik — Einführung in die algebraische Semantik.- § 1 Methodische Einfuhrung anhand dreiwertiger Matrizen.- § 2 Definition und Anwendungen mehrwertiger Matrizen.- §3 Allgemeine Konstruktionsprinzipien logischer Matrizen.- § 4 Implikative und konservative Logiken und Matrizen.- § 5 Modale und multimodale Algebren.- Kap. IV Modal- und Zeitlogik — Relativistische Semantik.- §1 Relativistische Semantik der Modallogik.- § 2 Vollständigkeit der Standardsysteme und das Konzept der verallgemeinerten relativistischen Semantik.- § 3 Modallogische Tableau-Kalküle.- § 4 Spezielle Modelle — Filtration, Ramifikation und Kontraktion.- § 5 Der Verband der Erweiterungen einer Modallogik L.- § 6 Zeitlogik und das Konzept der Nachbarschaftssemantik.- Kap. V Intuitionistische Logik und verwandte logische Systeme.- § 1 Semantik und Vollständigkeit der intuitionistischen und minimalen Logik.- § 2 Der intuitionistische Tableau-Kalkül.- § 3 Algebraische Semantik und verallgemeinerte KRIPKE-Semantik.- § 4 Der Verband der intermediären Logiken.- § 5Konstruktive Logik.- Kap. VI Anhang — Zusammenstellung von Grundbegriffen.- § 1 Mengen und Abbildungen.- §2 Graphen und Strukturen.- § 3 Verbände.- § 4 Subalgebren und Kongruenzen.- VII Verzeichnisse.- Symbolverzeichnis.- Sach- und Namensverzeichnis.