Andreas Blass  Home/Search
Context Related
| www3.oup.co.uk/igpl/Volu...blass.pdf.gz www3.oup.co.uk/igpl/Volum...blass.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www3.oup.co.uk/igpl/Vol...#jipsen (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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. 1 Keywords : linear logic, semantics, games, determinacy 1 Introduction The WoLLIC talk on which this paper is based consisted of some introductory material on linear logic and several observations about its... (Update)
Similar documents based on text: More All
0.2: Homotopy and Homology of Finite Lattices - Andreas Blass Mathematics (Correct)
0.1: Feedback for Linearly Distributive Categories: Traces and.. - Blute, Cockett, Seely (1999) (Correct)
0.1: Fair Games and Full Completeness for Multiplicative Linear.. - Hyland, Ong (1993) (Correct)
Related documents from co-citation: More All
4: Technische Universitat Dresden (context) - Straburger, of et al. - 2003
4: Untersuchungen uber das logische Schlieen (context) - Gentzen - 1934
4: Technische Universitat Dresden (context) - Brunnler, classical et al. - 2003
BibTeX entry: (Update)
Andreas Blass. Some semantical aspects of linear logic. Journal of the IGPL, 5(4):487--503, 1996. http://citeseer.ist.psu.edu/blass97some.html More
@misc{ blass96some,
author = "A. Blass",
title = "Some semantical aspects of linear logic",
text = "Andreas Blass. Some semantical aspects of linear logic. Journal of the
IGPL, 5(4):487--503, 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/blass97some.html" }
Citations (may not include all citations):233 The formulae-as-types notion of construction (context) - Howard
175 Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994
69 Curry: Essays on Combinatory Logic (context) - Hindley, Seldin et al. - 1980
47 Constructivism in Mathematics --- An Introduction (context) - Troelstra, van Dalen - 1988
46 Oxford University Press (context) - Dummett, Intuitionism - 1977
33 Buildings of Spherical Type and Finite BN-Pairs (context) - Tits - 1974
29 Fair games and full completeness for multiplicative linear l.. - Martin, Hyland et al. - 1993
26 Infinite games with perfect information (context) - Gale, Stewart - 1953
18 Uber eine Anwendung der Mengenlehre auf die Theorie des Scha.. (context) - Zermelo - 1996
18 A game semantics for linear logic (context) - Blass - 1992
14 A Dialectica-like model of linear logic (context) - de Paiva
13 volume 389 of Lecture Notes in Computer Science (context) - Pitt, Rydeheard et al. - 1989
10 Ein dialogisches Konstruktivitatskriterium (context) - Lorenzen
7 Advances in Linear Logic (context) - Girard, Lafont et al. - 1995
6 Toward a geometry of interaction (context) - Girard
6 Linear logic (context) - Girard - 1987
5 Degrees of indeterminacy of games (context) - Blass - 1972
3 Complexity of winning strategies (context) - Blass - 1972
2 Is game semantics necessary - Blass
1 A constructive game semantics for the language of linear log.. - Japaridze - 1995
1 Questions and answers --- a category arising in linear logic (context) - Blass
1 Computer Science Logic: 7th Workshop (context) - Borger, Gurevich et al. - 1994
1 Categories in Computer Science and Logic (context) - Gray, Scedrov - 1989
1 ective computability of winning strategies (context) - Rabin - 1957
1 volume 6 of London Math (context) - Conway, Games - 1976
Documents on the same site (http://www3.oup.co.uk/igpl/Volume_05/Issue_04/#jipsen): More
A Note on Logical Relations Between Semantics and Syntax - Pitts (Correct)
Relation Algebras from Cylindric and Polyadic Algebras - Németi, Simon (1997) (Correct)
Logic Journal - Of The Editor-In-Chief (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC