Faster Proof Checking in the Edinburgh Logical Framework.

Aaron Stump David L. Dill

Published in: CADE (2002)

Keyphrases

logical framework
linear logic
higher order logic
inference rules
belief revision
reasoning tasks
theorem prover
theorem proving
possibilistic logic
epistemic logic
decision making
high level
case based reasoning
general purpose
belief networks
coalition logic