A syntactic connection between proof procedures and refutation prcedures.

Published in: Theoretical Computer Science (1977)

Keyphrases

proof procedures
theorem proving
inference rules
proof procedure
theorem prover
winning strategy
natural language
inductive inference
higher level
first order logic
search space
automated reasoning
artificial intelligence
natural language processing
propositional logic