Login / Signup
Cut Elimination for S4C: A Case Study.
Grigori Mints
Published in:
Stud Logica (2006)
Keyphrases
</>
cut elimination
sequent calculus
linear logic
wide class
proof theoretic
inference rules
natural deduction
sufficient conditions
modal logic
proof search
linear time temporal logic
intuitionistic logic
sequent calculi
image segmentation
logical framework