著者紹介

内容

目次

Linear logic: its syntax and semantics J. Y. Girard; Part I. Categoriesand Semantics: 1. Bilinear logic in algebra and linguistics J. Lambek; 2. Acategory arising in linear logic, complexity theory and set theory A. Blass;3. Hypercoherences: a strongly stable model of linear logic T. Erhard; PartII. Complexity and Expressivity: 4. Deciding provability of linear logicformulas P. D. Lincoln; 5. The direct simulation of Minsky machines in linearlogic M. I. Kanovich; 6. Stochastic interaction and linear logic P. D.Lincoln, J. Mitchell and A. Scedrov; 7. Inheritance with exceptions C.Fouquere and J. Vauzeilles; Part III. Proof Theory: 8. On the fine structureof the exponential rule S. Martini and A. Masini; 9. Sequent calculi forsecond order logic V. Danos, J. B. Joinet and H. Schellinx; Part IV. ProffNets: 10. From proof nets to interaction nets Y. Lafont; 11. Empires andkingdoms in MLL G. Bellin and J. Van De Wiele; 12. Noncommutative proof netsV. M. Abrusci; 13. Volume of multiplicative formulas and provability F.Metayer; Part V. Geometry of Interaction: 14. Proof nets and Hilbert space V.Danos and L. Regnier; 15. Geometry of interacion III: accomodating theadditives J. Y. Girard.