An Equational Presentation of Higher Order Logic.

Thierry Coquand Thomas Ehrhard

Published in: Category Theory and Computer Science (1987)

Keyphrases

higher order logic
theorem prover
higher order
theorem proving
inference rules
automated reasoning
conditional logic
logical framework
first order logic
multimedia
autonomous agents
horn clauses
probabilistic model
artificial intelligence
machine learning
general purpose
knowledge base