A Combinator-Based Superposition Calculus for Higher-Order Logic.

Ahmed Bhayat Giles Reger

Published in: IJCAR (1) (2020)

Keyphrases

higher order logic
higher order
theorem prover
theorem proving
conditional logic
logical framework
automated reasoning
first order logic
data representation
default reasoning
object oriented
sufficient conditions
nonmonotonic reasoning