Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization.
Marco Devesas CamposMarcelo P. FiorePublished in: LFCS (2016)
Keyphrases
- classical logic
- automated theorem proving
- logic programming
- intuitionistic logic
- modal logic
- sequent calculus
- possibilistic logic
- proof search
- revision operators
- machine learning
- general purpose
- genetic algorithm
- default logic
- autoepistemic logic
- logic programs
- high level
- computer science and artificial intelligence