Topological Completeness for Higher-Order Logic.

Steven Awodey Carsten Butz

Published in: J. Symb. Log. (2000)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
default reasoning
automated reasoning
machine learning
expert systems
general purpose
belief revision