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

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

Documents Related by Co-Citation

69 A lambda-calculus structure isomorphic to Gentzen-style sequent calculus structure – Hugo Herbelin
571 1934-1935), “Untersuchungen Uber das logische Schliessen – Gerhard Gentzen
377 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
23 Permutability of Proofs in Intuitionistic Sequent Calculi – Roy Dyckhoff, Luís Pinto - 1996
441 The formulas-as-types notion of construction – W A Howard - 1980
224 Natural Deduction - A proof-theoretical study; Almqvist – Dag PRAWITZ - 1965
335 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
703 Introduction to Metamathematics – S Kleene - 1952
954 T.: Term rewriting and all that – F Baader, Nipkow - 1998