A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem.

Matthias Baaz Alexander Leitsch Anela Lolic

Published in: LFCS (2018)

Keyphrases

sequent calculus
inference rules
cut elimination
linear logic
natural deduction
modal logic
learning algorithm
natural language