An alternate proof of Statman's finite completeness theorem.

B. Srivathsan Igor Walukiewicz

Published in: Inf. Process. Lett. (2012)

Keyphrases

interactive theorem proving
equational theories
complete axiomatization
theorem proving
linear logic
geometry theorem proving
monadic datalog
database
real world
social networks
video sequences
finite number
proof search