Symbolic Logic and Mechanical Theorem Proving
Academic Press (1973)
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.
|Keywords||Logic, Symbolic and mathematical Automatic theorem proving Artificial intelligence|
|Categories||categorize this paper)|
|Buy the book||$33.00 new (55% off) $36.01 used (51% off) $61.27 direct from Amazon (17% off) Amazon page|
|Call number||QA9.C483 1987|
References found in this work BETA
No references found.
Citations of this work BETA
The Number of Proof Lines and the Size of Proofs in First Order Logic.Jan Krajíček & Pavel Pudlák - 1988 - Archive for Mathematical Logic 27 (1):69-84.
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.
On Ultrafilter Logic and Special Functions.Paulo A. S. Veloso & Sheila R. M. Veloso - 2004 - Studia Logica 78 (3):459-477.
The T-Variable Method in Gentzen-Style Automatic Theorem Proving.Tryggvi Edwald - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):253-261.
Similar books and articles
On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.
Identity in Modal Logic Theorem Proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Automation in Language Translation and Theorem Proving.P. Braffort & F. van Scheepen (eds.) - 1968 - Brussels, Commission of the European Communities, Directorate-General for Dissemination of Information.
The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications.Richard Kaye - 2007 - Cambridge University Press.
Added to index2009-01-28
Total downloads2 ( #773,078 of 2,171,928 )
Recent downloads (6 months)1 ( #326,615 of 2,171,928 )
How can I increase my downloads?