A Judgmental Analysis of Linear Logic
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
A Judgmental Analysis of Linear Logic
|
| Id. |
47118644 |
| Idioma |
inglés
|
| Titulo |
A Judgmental Analysis of Linear Logic |
| Autor(es) |
Bor-Yuh Evan Chang
Chang Kaustuv
Chaudhuri Frank Pfenning
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.2331
|
| 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. This work has been supported by NSF grants CCR-9988281 and CCR-0306313. Bor-Yuh Evan Chang is currently at the University of California, Berkeley, CA and holds a California Microelectronics Fellowship. Keywords: Constructive Logic, Linear Logic, Judgmental Foundations 1
|
| Tipo |
application/pdf
|
| 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/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.cs.cmu.edu/~kaustuv/papers/CMU-CS-03-131R.pdf
[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.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.5953
[References] 10.1.1.141.6585
[References] 10.1.1.141.7375
[References] 10.1.1.141.7824
|
| Fecha de contribución |
24-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
