Logikkalkle [Paperback]

1. Einf?hrung und Hilfsmittel.- 1.1 Vorbemerkungen.- 1.2 Erster Abschnitt zur (klassischen) Aussagenlogik.- 1.3 Exkurs in die Allgemeine Algebra.- 1.4 Exkurs ?ber Verb?nde.- 1.5 Boolesche Algebren.- 1.6 Heytingalgebren.- 1.7 Orthomodulare Verb?nde.- 2. Die Aussagenlogik und ihre Vollst?ndigkeitss?tze (Hilberttypkalk?le).- 2.1 Noch einmal Aussagenlogik ganz allgemein.- 2.2 Klassische Aussagenlogik.- 2.3 Intuitionistische Aussagenlogik.- 2.4 Quantenlogik.- 3. Die Pr?dikatenlogik und ihre Vollst?ndigkeitss?tze (Hilberttypkalk?le).- 3.1 Offene Pr?dikatenlogik (klassisch).- 3.2 Pr?dikatenlogik mit Quantoren; Substitutionen.- 3.3 Der G?delsche Vollst?ndigkeitssatz.- 3.4 Pr?dikatenlogik mit Gleichheit.- 3.5 Ultraprodukte und der Kompaktheitssatz f?r beliebige Sprachen der Pr?dikatenlogik.- 3.6 Intuitionistische Pr?dikatenlogik.- 4. Gentzensysteme.- 4.1 Der Sequenzenkalk?l LK von Gentzen f?r die klassische Logik und einige seiner grundlegenden Eigenschaften.- 4.2 Der Schnitteliminationssatz und Gentzens Hauptsatz.- 4.3 Einige Anwendungen des Schnitteliminationssatzes.- 4.4 Semantische Betrachtungen, Vollst?ndigkeit.- 4.5 Die Logik mit Gleichheit.- 4.6 Der intuitionistische Gentzenkalk?l LJ.- 5. Testmethoden und die Kalk?le des Automatischen Beweisens.- 5.1 Allgemeines ?ber Testmethoden.- 5.2 Der Kalk?l von Maslov.- 5.3 Die Resolutionsmethode.- 5.4 Die Paramodulation.- 5.5 Reduktionssysteme.- Symbolverzeichnis.Springer Book Archives