Login / Signup
Cut-Elimination: Syntax and Semantics.
Matthias Baaz
Alexander Leitsch
Published in:
Stud Logica (2014)
Keyphrases
</>
cut elimination
sequent calculus
linear logic
natural deduction
wide class
inference rules
sufficient conditions
sequent calculi
proof theoretic
linear time temporal logic
intuitionistic logic
fixed point
modal logic
proof search
theorem prover
logic programming
general purpose
machine learning