Integrating a Global Induction Mechanism into a Sequent Calculus.

David M. Cerna Michael Peter Lettmann

Published in: TABLEAUX (2017)

Keyphrases

sequent calculus
cut elimination
linear logic
inference rules
proof search
modal logic
training data
machine learning
learning algorithm
object oriented
markov random field
natural deduction
linear time temporal logic