Sequent calculi for induction and infinite descent.

James Brotherston Alex Simpson

Published in: J. Log. Comput. (2011)

Keyphrases

sequent calculi
conditional logic
modal logic
cut elimination
inductive learning
inductive logic programming
expert systems
machine learning
probability distribution
inference rules