Henkin style completeness proofs in theories lacking negation.

John L. Pollock

Published in: Notre Dame J. Formal Log. (1971)

Keyphrases

equational theories
formal proofs
theorem proving
logic programming
logic programs
containment of conjunctive queries
formal proof
theorem prover
datalog programs
artificial intelligence
cognitive psychology
deductive databases
database
predicate logic
natural language
information systems
closed world assumptions