Connection Methods in Linear Logic and Proof Nets Construction
|
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
|
|
|
Connection Methods in Linear Logic and Proof Nets Construction
|
| Id. |
46448499 |
| Idioma |
inglés
|
| Titulo |
Connection Methods in Linear Logic and Proof Nets Construction |
| Autor(es) |
D. Galmiche
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.3183
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Linear logic (LL) is the logical foundation of some type-theoretic languages and also of environments for specification and theorem proving. In this paper, we analyse the relationships between the proof net notion of LL and the connection notion used for efficient proof-search in different logics. Aiming at using proof nets as a tool for automated deduction in linear logic, we define a connection-based characterization of provability in Multiplicative Linear Logic (MLL). We show that an algorithm for proof net construction can be seen as a proof-search connection method. This central result is illustrated with a specific algorithm that is able to construct, for a provable MLL sequent, a set of connections, a proof net and a sequent proof. From these results we expect to extend to other LL fragments, we analyse what happens with the additive connectives of LL by tackling the additive fragment in a similar way.
|
| 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://www.loria.fr/~galmiche/=papers/ConPN.ps.Z
[References] 10.1.1.25.1142
[References] 10.1.1.132.6410
[References] 10.1.1.1.8163
[References] 10.1.1.111.6770
[References] 10.1.1.34.3076
[References] 10.1.1.51.1754
[References] 10.1.1.71.7578
[References] 10.1.1.36.8019
[References] 10.1.1.72.681
[References] 10.1.1.130.6995
[References] 10.1.1.50.1241
[References] 10.1.1.54.9040
[References] 10.1.1.54.4161
[References] 10.1.1.33.2674
[References] 10.1.1.22.350
[References] 10.1.1.36.7507
[References] 10.1.1.48.898
[References] 10.1.1.21.9970
[References] 10.1.1.39.7637
[References] 10.1.1.44.9018
[References] 10.1.1.34.2395
[References] 10.1.1.21.9970
[References] 10.1.1.141.7097
[References] 10.1.1.36.4676
[References] 10.1.1.106.9377
[References] 10.1.1.37.4590
[References] 10.1.1.3.6775
|
| 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.
|
|
|
|
