Logic Journal of IGPL 1997 5(4):487-503; doi:10.1093/jigpal/5.4.487
© 1997 by Oxford University Press
Some semantical aspects of linear logic
A Blass
Mathematics Department, University of Michigan, Ann Arbor, MI 48109-1109, USA. Email: ablass@umich.edu
We describe and discuss several semantical views of linear logic. Our primary topic is game semantics, including modifications suggested by Abramsky, Jagadeesan, Hyland, Ong, and Japaridze. We also briefly discuss Girard's coherence spaces and de Paiva's Dialectica-like semantics.

CiteULike
Connotea
Del.icio.us What's this?
Disclaimer: Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our
Customer Services Department.