An embedding of the ACL2 logic in HOL.

Michael J. C. Gordon Warren A. Hunt Jr.Matt Kaufmann James Reynolds

Published in: ACL2 (2006)

Keyphrases

natural deduction
higher order logic
theorem prover
inference rules
higher order
logic programming
natural language learning
multi valued
vector space
classical logic
asynchronous circuits
modal logic
defeasible logic
conditional logic
predicate logic
computational properties
data sets
multi agent