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

Logic Program Logic Programming Propositional Logic Conjunctive Normal Form Propositional Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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