Deduction: Automated Logic
Wolfgang Bibel, Steffen Hölldobler · Medical Entomology and Zoology · 1993
Intellectics, characteristics of intelletics, inference and deduction, historical remarks, contents and structure of this book deduction in propositional logic problem reduction, the language of propositional logic, the semantics of propositional logic, a characterization of validity, normal form transformations, a simple connection calculus, general tautology testing deduction in first-order logic, the language of first-order logic, the semantics of first-order logic, a characterisation of validity, normal form transformations, unification, deduction procedures and variants compressions and strategies. Gentzen's calculus of natural deduction the Tableau calculus refined treatment of quantifiers and instances connection redection (with Seeffen Holldobler) equality, term rewriting and unification theory, semantic search guidance, meta-inference, abstraction and analogy parellelism, comparisons and complexity extensions and applications higher-order logic, induction, modal logic, further logics, applications and systems. Appendix: exercices and solutions, exercises on propositional logic, exercises on predicate logic and further topics, solutions to selected exercises.