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