Login / Signup
Integrating a Global Induction Mechanism into a Sequent Calculus.
David M. Cerna
Michael Peter Lettmann
Published in:
CoRR (2017)
Keyphrases
</>
sequent calculus
linear logic
cut elimination
proof search
inference rules
modal logic
machine learning
training set