Structural Cut Elimination - I. Intuitionistic and Classical Logic (2000)

Cached

Download Links

by Frank Pfenning
Venue:Information and Computation
Citations:52 - 17 self

Active Bibliography

17 A Structural Proof of Cut Elimination and Its Representation in a Logical Framework – Frank Pfenning - 1994
216 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
64 Structural Cut Elimination – Frank Pfenning - 1995
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
79 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000
36 Strong Normalisation of Cut-Elimination in Classical Logic – C. Urban, G. M. Bierman - 2000
19 On the Intuitionistic Force of Classical Search – Eike Ritter , David Pym, Lincoln Wallen - 1996
2 On the Intuitionistic Force of Classical Search (Extended Abstract) – Eike Ritter , David Pym, Lincoln Wallen - 1996
6 Representing Proof Transformations for Program Optimization – Penny Anderson - 1994
3 A Computational Meta Logic for the Horn Fragment of LF – Carsten Schürmann - 1995
33 Mode and Termination Checking for Higher-Order Logic Programs – Ekkehard Rohwedder, Frank Pfenning - 1996
3 Decidability Extracted: Synthesizing ``Correct-by-Construction'' Decision Procedures from Constructive Proofs – James L. Caldwell, II - 1998
20 Hybridizing a logical framework – Jason Reed, Karl Crary, Robert Harper - 2006
49 A Judgmental Analysis of Linear Logic – Bor-Yuh Evan Chang, Kaustuv Chaudhuri, Frank Pfenning - 2003
42 Refinement Types for Logical Frameworks – Frank Pfenning - 1993
35 Ordered Linear Logic and Applications – Jeff Polakow, Harper John Reynolds - 2001
4 A Survey of Linear Logic Programming – Dale Miller - 1995
On Goal-Directed Proofs in Multiple-Conclusioned Intuitionistic Logic – James Harland, Tatjana Lutovac, Michael Winikoff