A Sequent Calculus for Opetopes.

Cédric Ho Thanh Pierre-Louis Curien Samuel Mimram

Published in: LICS (2019)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
natural deduction
modal logic
linear time temporal logic
wide class
proof search
machine learning
theorem proving
active learning
fixed point
desirable properties
logical framework
classical logic