Automated Theorem Proving in a Simple Meta-Logic for LF.

Carsten Schürmann Frank Pfenning

Published in: CADE (1998)

Keyphrases

automated theorem proving
theorem proving
theorem prover
classical logic
answer set programming
modal logic
meta level
logic programming
light field
probability theory