Login / Signup
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