Advances in linear logic

Title ......Page 3
Copyright ......Page 4
Contents ......Page 5
Preface ......Page 7
Linear Logic: its syntax and semantics ......Page 9
Bilinear logic in algebra and linguistics ......Page 51
A category arising in linear logic, complexity theory and set theory ......Page 69
Hypercoherences: a strongly stable model of linear logic ......Page 91
Deciding provability of linear logic formulas ......Page 117
The direct simulation of Minsky machines in linear logic ......Page 131
Stochastic interaction and linear logic ......Page 155
Inheritance with exceptions ......Page 175
On the fine structure of the exponential rule ......Page 205
Sequent calculi for second order logic ......Page 219
From proof nets to interaction nets ......Page 233
Empires and kingdoms in MLL- ......Page 257
Noncominutative proof nets ......Page 279
Volume of mulitplica.tive formulas and provability ......Page 305
Proof-nets and the Hilbert space ......Page 315
Geometry of interaction III: accommodating the additives ......Page 337