Sign in
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae.
Paola Bruscoli
Alessio Guglielmi
Tom Gundersen
Michel Parigot
Published in:
LPAR (Dakar) (2010)
Keyphrases
</>
cut elimination
sequent calculus
linear logic
wide class
natural deduction
inference rules
sufficient conditions
proof theoretic
sequent calculi
probabilistic inference
bayesian networks
modal logic
logic programming
linear time temporal logic
search procedure
horn clauses