First-Order Logic
Except for this preface, this study is completely self-contained. It is intended to serve both as an introduction to Quantification Theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. We use the term "analytic" to apply to any...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1968, 1968
|
| Edition: | 1st ed. 1968 |
| Series: | Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, A Series of Modern Surveys in Mathematics
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- I. Propositional Logic from the Viewpoint of Analytic Tableaux
- I. Preliminaries
- II. Analytic Tableaux
- III. Compactness
- II. First-Order Logic
- IV. First-Order Logic. Preliminaries
- V. First-Order Analytic Tableaux
- VI. A Unifying Principle
- VII. The Fundamental Theorem of Quantification Theory
- VIII. Axiom Systems for Quantification Theory
- IX. Magic Sets
- X. Analytic versus Synthetic Consistency Properties
- III. Further Topics in First-Order Logic
- XI. Gentzen Systems
- XII. Elimination Theorems
- XIII. Prenex Tableaux
- XIV. More on Gentzen Systems
- XV. Craig’s Interpolation Lemma and Beth’s Definability Theorem
- XVI. Symmetric Completeness Theorems
- XVII. Systems of Linear Reasoning
- References