C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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