A Judgmental Analysis 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
|
|
|
A Judgmental Analysis of Linear Logic
|
| Id. |
45661243 |
| Idioma |
inglés
|
| Titulo |
A Judgmental Analysis of Linear Logic |
| Autor(es) |
Bor-Yuh Evan Chang
Kaustuv Chaudhuri
Frank Pfenning
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.769
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We reexamine the foundations of linear logic, developing a system of natural deduction following Martin-L of's separation of judgments from propositions. Our construction yields a clean and elegant formulation that accounts for a rich set of multiplicative, additive, and exponential connectives, extending dual intuitionistic linear logic but differing from both classical linear logic and Hyland and de Paiva's full intuitionistic linear logic. We also provide a corresponding sequent calculus that admits a simple proof of the admissibility of cut by a single structural induction. Finally, we show how to interpret classical linear logic (with or without the MIX rule) in our system, employing a form of double-negation translation.
|
| Tipo |
application/postscript
|
| Palabras clave |
Constructive 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://www-2.cs.cmu.edu/~fp/papers/CMU-CS-03-131R.ps
[References] 10.1.1.50.9674
[References] 10.1.1.28.2136
[References] 10.1.1.16.2984
[References] 10.1.1.25.1142
[References] 10.1.1.21.1152
[References] 10.1.1.17.1563
[References] 10.1.1.26.5487
[References] 10.1.1.40.5019
[References] 10.1.1.67.2862
[References] 10.1.1.36.5486
[References] 10.1.1.23.7759
[References] 10.1.1.26.7830
[References] 10.1.1.34.2020
[References] 10.1.1.113.2077
[References] 10.1.1.62.639
[References] 10.1.1.141.7097
[References] 10.1.1.91.6947
[References] 10.1.1.129.4757
[References] 10.1.1.141.7375
[References] 10.1.1.10.9705
[References] 10.1.1.59.1132
[References] 10.1.1.62.2425
[References] 10.1.1.69.7227
[References] 10.1.1.87.7038
[References] 10.1.1.122.3432
[References] 10.1.1.136.5369
[References] 10.1.1.62.602
[References] 10.1.1.141.6585
[References] 10.1.1.141.7824
[References] 10.1.1.141.5953
|
| Fecha de contribución |
26-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
