UID:
almahu_9948192993102882
Umfang:
361 S.
,
online resource.
Ausgabe:
1st ed. 1979.
ISBN:
9783322857965
Serie:
Logik und Grundlagen der Mathematik
Anmerkung:
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 -- § 5 Konstruktive 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.
In:
Springer eBooks
Weitere Ausg.:
Printed edition: ISBN 9783528083854
Sprache:
Deutsch
DOI:
10.1007/978-3-322-85796-5
URL:
https://doi.org/10.1007/978-3-322-85796-5