Login / Signup
(In)consistency of Extensions of Higher Order Logic and Type Theory.
Herman Geuvers
Published in:
TYPES (2006)
Keyphrases
</>
higher order logic
higher order
theoretical framework
theorem prover
logical framework
artificial intelligence
conditional logic
general purpose
nonmonotonic reasoning
default theories