Documents Related by Co-Citation

70 A system of interaction and structure – Alessio Guglielmi - 2004
41 Brünnler and Alwen Fernanto Tiu. A local system for classical logic – Kai - 2001
23 A systematic proof theory for several modal logics – Charles Stewart - 2005
33 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
28 Atomic Cut Elimination for Classical Logic – Kai Brünnler - 2002
24 A Local System for Linear Logic – Lutz Straßburger - 2002
24 A Purely Logical Account of Sequentiality in Proof Search – Paola Bruscoli - 2002
209 Investigations into logical deduction – G Gentzen - 1969
31 Pomset Logic: A Non-Commutative Extension of Classical Linear Logic – Christian Retoré - 1997
17 Deep Inference and Symmetry – K Brünnler - 2004
11 Structures for multiplicative cyclic linear logic: Deepness vs cyclicity – Pietro Di Gianantonio - 2004
25 A Non-Commutative Extension of MELL – Alessio Guglielmi, Lutz Straßburger - 2002
98 Display logic – Nuel Belnap - 1982
42 Deep Inference and Symmetry for Classical Proofs – Kai Brünnler - 2003
17 in the calculus of structures – MELL - 2001
285 The relative efficiency of propositional proof systems – Stephen A. Cook, Robert, A. Reckhow - 1979
541 Light Linear Logic – Jean-yves Girard
25 The Undecidability of k-Provability – Samuel R. Buss - 1989
8 A Deep Inference System for the Modal Logic S5 – Phiniki Stouppa - 2005