Atomic Cut Elimination for Classical Logic (2002)

Cached

Download Links

by Kai Brünnler
Venue:of Lecture Notes in Computer Science
Citations:28 - 5 self

Documents Related by Co-Citation

41 Brünnler and Alwen Fernanto Tiu. A local system for classical logic – Kai - 2001
70 A system of interaction and structure – Alessio Guglielmi - 2004
24 A Local System for Linear Logic – Lutz Straßburger - 2002
46 Non-commutativity and MELL in the Calculus of Structures – Alessio Guglielmi, Lutz Straßburger - 2001
24 A Purely Logical Account of Sequentiality in Proof Search – Paola Bruscoli - 2002
25 A Non-Commutative Extension of MELL – Alessio Guglielmi, Lutz Straßburger - 2002
23 A systematic proof theory for several modal logics – Charles Stewart - 2005
11 Structures for multiplicative cyclic linear logic: Deepness vs cyclicity – Pietro Di Gianantonio - 2004
17 in the calculus of structures – MELL - 2001
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
42 Deep Inference and Symmetry for Classical Proofs – Kai Brünnler - 2003
9 Cut Elimination inside a Deep Inference System for Classical Predicate Logic – Kai Brünnler - 2005
17 Deep Inference and Symmetry – K Brünnler - 2004
22 Deep Sequent Systems for Modal Logic – Kai Brünnler
14 Reducing Nondeterminism in the Calculus of Structures – Ozan Kahramanogullari - 2005
21 On the Proof Complexity of Deep Inference – Paola Bruscoli, Alessio Guglielmi - 2000
10 Locality for classical logic. Notre Dame – Kai Brünnler
11 Two Restrictions on Contraction – Kai Brünnler - 2002
11 Deep inference and its normal form of derivations – Kai Brünnler - 2006