Free Models and Logic Programming

  • H.-D. Ebbinghaus
  • J. Flum
  • W. Thomas
Part of the Undergraduate Texts in Mathematics book series (UTM)

Abstract

In general, the following statement is false:

(*) If Φ ⊢ ∃ then there is a term t with Φ ⊢ φ t/x.

Keywords

Resi Lution Reso 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1994

Authors and Affiliations

  • H.-D. Ebbinghaus
    • 1
  • J. Flum
    • 1
  • W. Thomas
    • 2
  1. 1.Mathematisches InstitutUniversität FreiburgFreiburgGermany
  2. 2.Institut für Informatik und Praktische MathematikUniversität KielKielGermany

Personalised recommendations