Unification nets: canonical proof net quantifiers.

Dominic J. D. Hughes

Published in: LICS (2018)

Keyphrases

theorem proving
theorem prover
first order logic
automated theorem proving
higher order
knuth bendix
proof planning
natural deduction
inference rules
natural language
three dimensional
equational theories
database
artificial neural networks
expert systems
objective function
case study
real world
data sets