Login / Signup
On the non-confluence of cut-elimination.
Matthias Baaz
Stefan Hetzl
Published in:
J. Symb. Log. (2011)
Keyphrases
</>
cut elimination
sequent calculus
linear logic
wide class
natural deduction
inference rules
sufficient conditions
proof theoretic
sequent calculi
linear time temporal logic
modal logic
fixed point
classical logic
theorem prover
proof search
dimensionality reduction
general purpose