Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic (1998)

by Roy Dyckhoff , Luis Pinto
Citations:40 - 6 self

Active Bibliography

23 Permutability of Proofs in Intuitionistic Sequent Calculi – Roy Dyckhoff, Luís Pinto - 1996
7 Proof Search in Constructive Logics – Roy Dyckhoff, Luís Pinto - 1998
15 Cut Rules and Explicit Substitutions – René Vestergaard, Joe Wells - 2000
6 On focusing and polarities in linear logic and intuitionistic logic – Chuck Liang, Dale Miller - 2006
38 Focusing the inverse method for linear logic – Kaustuv Chaudhuri, Stephen Brookes - 2005
4 Representing Scope in Intuitionistic Deductions – Matthew Stone - 1997
2 A formal framework for specifying sequent calculus proof systems – Dale Miller , Elaine Pimentel - 2012
Focusing and Polarization in Linear, Intuitionistic, and Classical Logics – Chuck Liang A, Dale Miller B
43 Focusing and Polarization in Linear, Intuitionistic, and Classical Logics – Chuck Liang , Dale Miller - 2009
35 Strong Normalisation of Cut-Elimination in Classical Logic – C. Urban, G. M. Bierman - 2000
3 A Formalisation Of Weak Normalisation (With Respect To Permutations) Of Sequent Calculus Proofs – A. A. Adams - 1999
Tools and Techniques for Formalising Structural Proof Theory – Peter Chapman, Peter Chapman
19 Termination of permutative conversions in intuitionistic Gentzen calculi – Helmut Schwichtenberg - 1997
2 Strong Normalisation of Cut-Elimination that Simulates β-Reduction – Kentaro Kikuchi, Stéphane Lengrand
2 Correspondences between Classical, Intuitionistic and Uniform Provability – Gopalan Nadathur - 2000
3 Simplifying proofs in Fitch-style natural deduction systems – Konstantine Arkoudas - 2004
16 Linear Logic and Computation: A Survey – Andre Scedrov - 1993
61 Constructive Logics. Part I: A Tutorial on Proof Systems and Typed λ-Calculi – Jean Gallier - 1992
36 Modality in Dialogue: Planning, Pragmatics and Computation – Matthew Stone - 1998