Login / Signup
Quick cut-elimination for strictly positive cuts.
Toshiyasu Arai
Published in:
Ann. Pure Appl. Log. (2011)
Keyphrases
</>
cut elimination
sequent calculus
linear logic
wide class
natural deduction
inference rules
sufficient conditions
proof theoretic
sequent calculi
proof search
object oriented
intuitionistic logic
modal logic
fixed point
markov random field
similarity measure
linear time temporal logic
image segmentation