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