Klassische und nichtklassische Aussagenlogik

En savoir plus sur le livre

Inhaltsverzeichnis: Kap. I: Zweiwertige Aussagenlogik - behandelt Aussagenlogische Verknüpfungen, Formeln, Erfüllbarkeit, logische Äquivalenz, Normalformen, Folgerungen und Interpolation. Kap. II: Aussagenlogische Kalküle und Einführung in die Theorie der deduktiven Systeme - umfasst den klassischen Tableau-Kalkül, Regel-Kalküle, einen Vollständigkeitsbeweis für deduktive Systeme, axiomatische Systeme und logische Systeme. Kap. III: Mehrwertige Logik - bietet eine Einführung in die algebraische Semantik, einschließlich dreiwertiger Matrizen, deren Definition, Anwendungen, Konstruktionsprinzipien sowie implikativer und konservativer Logiken. Kap. IV: Modal- und Zeitlogik - behandelt relativistische Semantik der Modallogik, die Vollständigkeit von Standardsystemen, Tableau-Kalküle, spezielle Modelle und Nachbarschaftssemantik in der Zeitlogik. Kap. V: Intuitionistische Logik und verwandte logische Systeme - thematisiert Semantik und Vollständigkeit der intuitionistischen Logik, den intuitionistischen Tableau-Kalkül, algebraische Semantik und konstruktive Logik. Kap. VI: Anhang - enthält eine Zusammenstellung von Grundbegriffen zu Mengen, Abbildungen, Graphen, Strukturen, Verbänden, Subalgebren und Kongruenzen. Kap. VII: Verzeichnisse - bietet ein Symbolverzeichnis sowie Sach- und Namensverzeichnis.