Proof Nets for Herbrand's Theorem.

Richard McKinley

Published in: ACM Trans. Comput. Log. (2013)

Keyphrases

interactive theorem proving
logic programs
logic programming
first order logic
theorem proving
theorem prover
horn clauses
decision making
multiscale
data sets
linear logic
proof theoretic
mathematical proofs
declarative semantics
digital topology
intuitionistic logic
genetic algorithm