Documents Related by Co-Citation

162 A new constructive logic: classical logic – J-Y Girard - 1991
29 Proof nets for classical logic – E P Robinson
32 A compact representation of proofs – D Miller - 1987
263 Investigations into logical deduction – G Gentzen - 1969
95 Matrices with connections – W Bibel - 1981
3 Proof nets for Herbrand’s Theorem – Richard Mckinley
375 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
103 A New Deconstructive Logic: Linear Logic – Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx - 1995
59 Classical Logic and Computation – Christian Urban - 2000
36 Strong Normalisation of Cut-Elimination in Classical Logic – C. Urban, G. M. Bierman - 2000
21 Naming proofs in classical propositional logic – François Lamarche, Lutz Straßburger
21 From proof nets to the free *- autonomous category – François Lamarche, Lutz Strassburger - 2005
112 Recherches sur la Théorie de la Démonstration – J Herbrand - 1930
10 Methods of Cut-Elimination – Matthias Baaz, Alexander Leitsch
11 Focusing strategies in the sequent calculus of synthetic connectives – K Chaudhuri - 2008
18 Canonical sequent proofs via multifocusing – Kaustuv Chaudhuri, Dale Miller, Alexis Saurin - 2008
14 A neutral approach to proof and refutation – O Delande, D Miller - 2008
8 Une étude logique du contrôle (appliquée à la programmation fonctionnelle et logique – A Saurin - 2008