On the Treatment of Equivalence Connectives in Automated Theorem Proving.

Graham Wrightson

Published in: GI Jahrestagung (1980)

Keyphrases

automated theorem proving
theorem prover
theorem proving
classical logic
inference rules
answer set programming
first order logic
general purpose
truth values
data sets
search space
logic programs
equivalence relation