Consideraciones generales acerca de la lógica lineal
En este trabajo se hacen consideraciones generales acerca de la lógica lineal, tomando especialmente en cuenta sus motivaciones y su formalización. En primer lugar, se explica la necesidad de expandir el conjunto usual de conectivas lógicas en la lógica lineal. Siguiendo a Girard (1987), se presenta...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Artículo |
| Lenguaje: | Español |
| Publicado: |
Universidad de Ciencias Empresariales y Sociales (UCES)
2009
|
| Materias: | |
| Acceso en línea: | http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/470 |
| Aporte de: |
| Sumario: | En este trabajo se hacen consideraciones generales acerca de la lógica lineal, tomando especialmente en cuenta sus motivaciones y su formalización. En primer lugar, se explica la necesidad de expandir el conjunto usual de conectivas lógicas en la lógica lineal. Siguiendo a Girard (1987), se presenta una formalización para la lógica lineal como un cálculo de secuentes y se esboza el teorema de eliminación de corte para este sistema. Finalmente, se lleva a cabo un análisis crítico de la traducción de la lógica intuicionista en la lógica lineal debida a Girard. |
|---|