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

by Frank Pfenning
Venue:Information and Computation
Citations:55 - 18 self

Documents Related by Co-Citation

716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
222 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
167 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
344 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
597 Untersuchungen über das logische Schließen – G Gentzen - 1935
378 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
669 Light Linear Logic – Jean-yves Girard
1177 Temporal and modal logic – E. Allen Emerson - 1995
307 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller