Representing Higher-Order Logic Proofs in HOL.

Joakim von Wright

Published in: Comput. J. (1995)

Keyphrases

higher order logic
theorem prover
higher order
natural deduction
theorem proving
first order logic
inference rules
conditional logic
automated reasoning
logical framework
default reasoning