Proof Nets for Intuitionistic Logic (2006)

Cached

Download Links

by Matthias Horbach
Venue:SAARBRÜCKEN, GERMANY
Citations:2 - 0 self

Documents Related by Co-Citation

22 Full completeness of the multiplicative linear logic of chu spaces – Harish Devarajan, Dominic Hughes, Gordon Plotkin, Vaughan Pratt - 1999
3 A Non-commutative Extension of Multiplicative Exponential Linear Logic – Alessio Guglielmi, Lutz Straßburger - 2004
2 Deep inderence proof theory equals categorical proof theory minus coherence – Dominic Hughes - 2004
7 Simple multiplicative proof nets with units. Preprint, available at http://arxiv.org/abs/math.CT/0507003 – Dominic Hughes - 2005
2 Une preuve combinatoire de forte normalisation (du fragment multiplicatif et exponentiel) des réseaux de preuves pour la logique linéaire (PN1 – Jean-Baptiste Joinet - 1992
4 Completeness of mll proof nets w.r.t. weak distributivity – Jean-Baptiste Joinet - 2006
3 semantics for full propositional linear logic – Games - 1995
16 Handsome proof-nets: perfect matchings and cographs – Christian Retoré
6 Classical categories and deep inference – Richard McKinley
45 Many-variable functorial calculus (I – G M Kelly - 1972
18 Polarized proof-nets and λµ-calculus – Olivier Laurent - 2003
49 Autonomous categories, volume 752 – Michael Barr - 1979
126 Idea and result in proof theory – D Prawitz - 1971
62 Natural associativity and commutativity – Saunders M Lane - 1963
27 The Undecidability of k-Provability – Samuel R. Buss - 1989
31 Refutations by matings – Peter B Andrews - 1976
14 logic, coherence and dinaturality – Linear - 1993
51 Deep Inference and Symmetry for Classical Proofs – Kai Brünnler - 2003
25 Order-enriched categorical models of the classical sequent calculus – Carsten Führmann, David Pym - 2003