Documents Related by Co-Citation

87 A system of interaction and structure – Alessio Guglielmi - 2004
51 Brünnler and Alwen Fernanto Tiu. A local system for classical logic – Kai - 2001
24 A systematic proof theory for several modal logics – Charles Stewart - 2005
29 Atomic Cut Elimination for Classical Logic – Kai Brünnler - 2002
38 Linear Logic and Noncommutativity in the Calculus of Structures – Lutz Straßburger, Technischen Universität Dresden, Diplom-informatiker Lutz Straßburger, Betreuer Dr. Alessio Guglielmi, Dr. François Lamarche - 2003
27 A Local System for Linear Logic – Lutz Straßburger - 2002
262 Investigations into logical deduction – G Gentzen - 1969
51 Deep Inference and Symmetry for Classical Proofs – Kai Brünnler - 2003
20 Deep Inference and Symmetry – Kai Brünnler - 2004
37 Pomset Logic: A Non-Commutative Extension of Classical Linear Logic – Christian Retoré - 1997
24 A Purely Logical Account of Sequentiality in Proof Search – Paola Bruscoli - 2002
107 Display logic – N D Belnap - 1982
13 Structures for multiplicative cyclic linear logic: Deepness vs cyclicity – Pietro Di Gianantonio - 2004
330 The relative efficiency of propositional proof systems – Stephen A. Cook, Robert, A. Reckhow - 1979
27 A Non-Commutative Extension of MELL – Alessio Guglielmi, Lutz Straßburger - 2002
616 Light Linear Logic – Jean-yves Girard
18 in the Calculus of Structures – MELL - 2003
21 L.: Constructing free Boolean categories – François Lamarche, Loria Inria-lorraine, Projet Calligramme, Lutz Straßburger, Universität Des Saarlandes - 2005
24 Naming proofs in classical propositional logic – François Lamarche, Lutz Straßburger