On the mathematical synthesis of equational logics
Marcelo P. FioreChung-Kil HurPublished in: Log. Methods Comput. Sci. (2011)
Keyphrases
- theorem proving
- expressive power
- inference rules
- anti unification
- mathematical expressions
- first order logic
- modal logic
- theorem prover
- program synthesis
- equational theories
- mathematical knowledge
- horn clauses
- computational properties
- propositional calculus
- coalition logic
- functional programs
- classical logic
- conditional logic
- nonmonotonic logics
- database
- default logic
- knowledge base
- information systems
- real world