C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Sequent Calculus in the Topos of Trees.
Ranald Clouston
Rajeev Goré
Published in:
CoRR (2015)
Keyphrases
</>
sequent calculus
cut elimination
inference rules
linear logic
modal logic
natural deduction
linear time temporal logic
decision trees
tree structure
sufficient conditions
wide class
bayesian networks
state space
graphical models
first order logic