The Inverse Method for Intuitionistic Linear Logic (The Propositional Fragment)
|
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
|
|
|
The Inverse Method for Intuitionistic Linear Logic (The Propositional Fragment)
|
| Id. |
47118578 |
| Idioma |
inglés
|
| Titulo |
The Inverse Method for Intuitionistic Linear Logic (The Propositional Fragment) |
| Autor(es) |
Kaustuv Chaudhuri
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.2272
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We present a forward sequent calculus for intuitionistic propositional linear logic (# , 1, 0, !) and a corresponding inverse-method search strategy. Our approach centres around resource management, inspired by similar approaches for backward-directed calculi such as top-down linear logic programming. Surprisingly, the resource management problems for the forward direction turn out to have a different character to those of the backward direction, arising for different connectives. Our approach identifies conditions for which we may relax linearity to allowing (implicit) weakening. We characterize two such classes of affine behaviour -- as a form of weak sequent designed to handle #-weakening lazily, and as affine contexts to control the multiplicative unit 1 using a general matching framework.
|
| Tipo |
application/pdf
|
| 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/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.cs.cmu.edu/~kaustuv/papers/CMU-CS-03-140.pdf
[References] 10.1.1.16.2984
[References] 10.1.1.13.7158
[References] 10.1.1.31.8467
[References] 10.1.1.135.1566
[References] 10.1.1.29.6210
[References] 10.1.1.50.8682
[References] 10.1.1.30.5874
[References] 10.1.1.22.2666
[References] 10.1.1.23.7759
[References] 10.1.1.10.769
[References] 10.1.1.50.4155
|
| 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.
|
|
|
|
