[Prev][Next][Index][Thread]

Advances in Linear Logic (corrected)





The table of contents of "Advance in Linear Logic" was wrong in my previous  
message. In particular, one article was missing. Please accept my apologies.
Yves Lafont

Contents:

Linear Logic: its syntax and semantics: J.-Y. GIRARD

Part I. Categories and semantics

Bilinear logic in algebra and linguistics: J. LAMBEK
A category arising in linear logic, complexity theory and set theory: A. BLASS
Hypercoherences: a strongly stable model of linear logic: T. ERHARD

Part II. Complexity and expressivity

Deciding provability of linear logic formulas: P. D. LINCOLN
The direct simulation of Minsky machines in linear logic: M. I. KANOVICH
Stochastic interaction and linear logic: P. D. LINCOLN, J. MITCHELL & A.  
SCEDROV
Inheritance with exceptions: C. FOUQUERE & J. VAUZEILLES

Part III. Proof theory

On the fine structure of the exponential rule: S. MARTINI & A. MASINI
Sequent calculi for second order logic: V. DANOS, J.-B. JOINET & H. SCHELLINX

Part IV. Proof nets

>From proof nets to interaction nets: Y. LAFONT
Empires and kingdoms in MLL-: G. BELLIN & J. VAN DE WIELE
Noncommutative proof nets: V. M. ABRUSCI
Volume of multiplicative formulas and provability: F. METAYER

Part V. Geometry of interaction

Proof nets and the Hilbert space: V. DANOS & L. REGNIER
Geometry of interacion III: accomodating the additives: J.-Y. GIRARD