Theorem Proving

Abstract

The sections in this article are History, Status, and Future Prospects Propositional Logic Propositional Proof Procedures First‐order Logic First‐Order Proof Systems Equality Other Logics Current Research Areas Acknowledgment

Deductive Reasoning Systems

“…Robinson and Voronkov, 2001 is a handbook covering just deductive methods, techniques, and systems. Plaisted, 2009 is an encyclopedia article similar to the present one. Ongoing research is reported in the Journal of Automated Reasoning (Kluwer Academic Publishers) and in the proceedings volumes (published by Springer Verlag) of the International Conferences on Automated Deduction as well as in other journals and conferences.…”