Formalized Lambek Calculus in Higher Order Logic (HOL4).

Published in: CoRR (2017)

Keyphrases

higher order logic
higher order
theorem prover
natural deduction
conditional logic
logical framework
automated reasoning
artificial intelligence
feature selection
relational databases
data representation