摘要: … logic into linear logic; of course classical logic is also faithfully translatable into linear logic 2… 2 The two conjunctions In linear logic, two conjunctions®(times) and & (with) coexist. They …
acm.org 
sci-hub.se 参考文章(19)
Jean-Baptiste Joinet, Vincent Danos, Harold Schellinx, LKQ and LKT: sequent calculi for second order logic based upon dual linear decompositions of classical implication ,(1995)
J.-Y. Girard, Geometry of interaction III: accommodating the additives Proceedings of the workshop on Advances in linear logic. pp. 329- 389 ,(1995) , 10.1017/CBO9780511629150.017
J. Lambek, Bilinear logic in algebra and linguistics Proceedings of the workshop on Advances in linear logic. pp. 43- 59 ,(1995) , 10.1017/CBO9780511629150.003
Christophe Fouqueré, Jacqueline Vauzeilles, Inheritance with exceptions: an attempt at formalization with linear connectives in Unified Logic Proceedings of the workshop on Advances in linear logic. pp. 167- 196 ,(1995)
Y. Lafont, From proof-nets to interaction nets Proceedings of the workshop on Advances in linear logic. pp. 225- 247 ,(1995) , 10.1017/CBO9780511629150.012
Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan, Full Abstraction for PCF (extended abstract) international symposium on theoretical aspects of computer software. pp. 1- 15 ,(1994) , 10.1007/3-540-57887-0_87
Jean-Yves Girard, Light linear logic Information & Computation. ,vol. 143, pp. 175- 204 ,(1998) , 10.1006/INCO.1998.2700
Jean-Yves Girard, Andre Scedrov, Philip J. Scott, Bounded linear logic: a modular approach to polynomial-time computability Theoretical Computer Science. ,vol. 97, pp. 1- 66 ,(1992) , 10.1016/0304-3975(92)90386-T
Y. Lafont, The linear abstract machine Theoretical Computer Science. ,vol. 62, pp. 327- 328 ,(1988) , 10.1016/0304-3975(88)90074-6
Jean-Yves Girard, A new constructive logic: classic logic Mathematical Structures in Computer Science. ,vol. 1, pp. 255- 296 ,(1991) , 10.1017/S0960129500001328