Symbolic Logic and Mechanical Theorem Proving

New York, NY, USA: Academic Press (1973)
  Copy   BIBTEX

Abstract

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4–9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,466

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
14 (#725,367)

6 months
5 (#143,864)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof Theory of Finite-Valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
Are Tableaux an Improvement on Truth-Tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.
Some Notes Concerning Fuzzy Logics.Charles Grady Morgan & Francis Jeffry Pelletier - 1977 - Linguistics and Philosophy 1 (1):79 - 97.

View all 17 citations / Add more citations

References found in this work

No references found.

Add more references