Sequent Calculus in the Topos of Trees.

Ranald Clouston Rajeev Goré

Published in: FoSSaCS (2015)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
decision trees
natural deduction
linear time temporal logic
desirable properties
wide class
learning algorithm
bayesian networks
feature space
software engineering
classical logic