|
115
|
The Structure of Multiplicatives
– V Danos, L Regnier
- 1989
|
|
285
|
The relative efficiency of propositional proof systems
– Stephen A. Cook, Robert, A. Reckhow
- 1979
|
|
46
|
Non-commutativity and MELL in the Calculus of Structures
– Alessio Guglielmi, Lutz Straßburger
- 2001
|
|
41
|
Brünnler and Alwen Fernanto Tiu. A local system for classical logic
– Kai
- 2001
|
|
11
|
Structures for multiplicative cyclic linear logic: Deepness vs cyclicity
– Pietro Di Gianantonio
- 2004
|
|
70
|
A system of interaction and structure
– Alessio Guglielmi
- 2004
|
|
25
|
Proof nets for classical logic
– E Robinson
|
|
137
|
A new constructive logic: classical logic
– Jean-Yves Girard
- 1991
|
|
25
|
A Compact Representation of Proofs
– Dale Miller
- 1987
|
|
89
|
On matrices with connections
– Wolfgang Bibel
- 1981
|
|
209
|
Investigations into logical deduction
– G Gentzen
- 1969
|
|
24
|
La Logique Linéaire Appliquée l’étude de Divers Processus de Normalisation
– Vincent Danos
|
|
18
|
Constructing free Boolean categories
– Francois Lamarche, Benjamin C. Pierce, David N. Turner
- 2005
|
|
3
|
Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
– Dominic J. D. Hughes
- 2006
|
|
5
|
Categorical Proof Theory of Classical Propositional Calculus
– Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban
- 2005
|
|
3
|
Two paradigms of logical computation in Affine Logic?
– G. Bellin
- 2001
|
|
4
|
Naming proofs in classical logic
– F Lamarche, L Strassburger
- 2005
|
|
1
|
Proof nets for Herbrand’s Theorem
– Richard Mckinley
|
|
1
|
The linear logic primer. lecture notes, available from http://www.dicosmo.org/CourseNotes/LinLog
– V Danos, R Di Cosmo
|
