Documents Related by Co-Citation

29 Proof nets for classical logic – E P Robinson
164 A new constructive logic: Classical logic – J-Y Girard - 1991
30 A compact representation of proofs – Dale A Miller - 1987
96 On matrices with connections – Wolfgang Bibel - 1981
262 Investigations into logical deduction – G Gentzen - 1969
134 The structure of multiplicatives – Vincent Danos, Laurent Regnier - 1989
330 The relative efficiency of propositional proof systems – Stephen A. Cook, Robert, A. Reckhow - 1979
58 Non-commutativity and MELL in the Calculus of Structures – Alessio Guglielmi, Lutz Straßburger - 2001
51 Brünnler and Alwen Fernanto Tiu. A local system for classical logic – Kai - 2001
13 Structures for multiplicative cyclic linear logic: Deepness vs cyclicity – Pietro Di Gianantonio - 2004
87 A system of interaction and structure – Alessio Guglielmi - 2004
2 Proof nets for Herbrand’s Theorem – Richard Mckinley
7 Une étude logique du contrôle (appliquée à la programmation fonctionnelle et logique – A Saurin - 2008
4 On the complexity of proof deskolemization – Matthias Baaz, Stefan Hetzl, Daniel Weller
12 Theorem-proving via general matings – P B Andrews - 1981
9 Methods of Cut-Elimination – Matthias Baaz, Alexander Leitsch
10 Focusing strategies in the sequent calculus of synthetic connectives – K Chaudhuri - 2008
17 Canonical sequent proofs via multifocusing – Kaustuv Chaudhuri, Dale Miller, Alexis Saurin - 2008
7 A PROOF CALCULUS WHICH REDUCES SYNTACTIC BUREAUCRACY – Alessio Guglielmi, et al.