Second-Order Equational Logic (Extended Abstract).
Marcelo P. FioreChung-Kil HurPublished in: CSL (2010)
Keyphrases
- extended abstract
- theorem proving
- horn clauses
- higher order
- logic programming
- automated reasoning
- lattice theory
- classical logic
- modal logic
- computational properties
- high order
- predicate logic
- equational theories
- neural network
- logical framework
- multi valued
- theorem prover
- delay insensitive
- natural language
- information retrieval