Some Semantical Aspects of Linear Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Some Semantical Aspects of Linear Logic
|
| Id. |
46483706 |
| Idioma |
inglés
|
| Titulo |
Some Semantical Aspects of Linear Logic |
| Autor(es) |
Andreas Blass Mathematics
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.6209
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
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 semantics, with particular emphasis on game semantics. In this paper, I shall not repeat all the introductory material, because it is available in Girard's original paper on the subject [12] or in my previous paper [5]. On the other hand, I shall include here some observations for which I didn't have time in the talk. The two essential ideas at the basis of linear logic are resource-consciousness and linear negation. The former refers to keeping track of how often a hypothesis is used in deriving a co...
|
| Tipo |
application/postscript
|
| Palabras clave |
linear logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www3.oup.co.uk/igpl/Volume_05/Issue_04/ps/blass.ps.gz
[References] 10.1.1.45.9035
[References] 10.1.1.62.8691
[References] 10.1.1.43.2043
[References] 10.1.1.50.1050
|
| Fecha de contribución |
28-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
