Superposition for Lambda-Free Higher-Order Logic.

Alexander Bentkamp Jasmin Christian Blanchette Simon Cruanes Uwe Waldmann

Published in: IJCAR (2018)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
theorem proving
logical framework
fixed point
artificial intelligence
automated reasoning
pairwise
np hard
nonmonotonic reasoning