Nuprl as Logical Framework for Automating Proofs in Category Theory.

Christoph Kreitz

Published in: Logic and Program Semantics (2012)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
theorem prover
higher order logic
theorem proving
normative systems
possibilistic logic
computer algebra
software engineering
modal logic
epistemic logic
linear logic