Login / Signup
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic.
Roy Dyckhoff
Luís Pinto
Published in:
Stud Logica (1998)
Keyphrases
</>
cut elimination
intuitionistic logic
sequent calculus
linear logic
natural deduction
inference rules
proof theoretic
wide class
modal logic
linear time temporal logic
proof search
theorem prover
sufficient conditions
classical logic
logical framework
logic programming
desirable properties