Literatur und Folien

Literatur

• Wolfgang Bibel: Deduktion -- Automatisierung der Logik, R.Oldenbourg, 1992. (Dieses Buch ist nicht mehr im Handel und kann als Postscriptfile heruntergeladen werden (Zugriff nur aus dem Netz der Universität Potsdam): W.Bibel: Deduktion -- Automatisierung der Logik)

• Lincoln Wallen: Automated deduction in nonclassical logics, MIT Press, 1990
• Raymond M. Smullyan: First-order logic, Dover, 1995.
• Peter B. Andrews: An Introduction to mathematical logic and Type Theory: To Truth through Proof. Kluwer, Applied Logic Series 27 2002
• A. Robinson & A. Voronkov: Handbook of Automated Reasoning. Elsevier 2001
• Literatur zu den einzelnen Themengruppen wird separat vorgestellt.

1. Connection-based Theorem Proving in Classical and Non-classical Logics
   
2. T-String-Unification: Unifying Prefixes in Non-Classical Proof Methods
3. Connection-Driven Inductive Theorem Proving

• Folien der Vorlesung