A verified proof checker for higher-order logic.

Oskar Abrahamsson

Published in: J. Log. Algebraic Methods Program. (2020)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
theorem proving
first order logic
knowledge base
natural language
pairwise
np hard
belief revision
data representation
inference rules
modal logic
nonmonotonic reasoning