Logic, Form and Function: The Mechanization of Deductive Reasoning

Front Cover
North-Holland, Jan 1, 1979 - Form (Logic) - 312 pages
0 Reviews
Logic: form and content; Formulas: syntax and intuitive semantics; Boolean analysis of sentences; Infinitive finitary trees and boolean compactness; Semantic analysis of sentences and terms; Logical consequence: sequents and proofs; Logical equivalence: substitutivity and variants; Normal forms of sentences and sequents; Herbrand models and maps; Quad notation for clausal sequents; Unification; Resolution; Resolution on the computer; Historical notes; Appedix; Index.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Syntax and Intuitive Semantics
8
Boolean Analysis of Sentences
35
Infinite Finitary Trees and Boolean Compactness
61
Copyright

10 other sections not shown

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information