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...

Full description

Main Author: Smullyan, Raymond R.
Corporate Author: SpringerLink (Online service)
Format: eBook
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
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