Por favor, use este identificador para citar o enlazar este ítem: https://dspace.uces.edu.ar/jspui/handle/123456789/470
Título : Consideraciones generales acerca de la lógica lineal
Autor : Nunez de Medeiros, María da P.
Palabras clave : Matemáticas
Lógica
Inteligencia artificial
Fecha de publicación : 2002
Editorial : Universidad de Ciencias Empresariales y Sociales (UCES)
Citación : Nunez de Medeiros, M. P. (2002). Consideraciones generales acerca de la lógica lineal. Energeia, 1(2), 217-230.
Resumen : 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.
In this paper, general considerations about linear logic, with especial attention to its motivations and for malization, are made. Firstly, the need to expand the usual set of logic connectives in the linear logic is explained. Following Girard (1987), a sequent calculus formalization for linear logic is presented and a cut-elimination theorem for such system is sketched. Finally, a critical analysis of the translation from intuitionistic logic into linear logic given by Girard is carried out.
URI : https://dspace.uces.edu.ar/jspui/handle/123456789/470
ISSN : 1666-5732
Aparece en las colecciones: Energeia. 2002, vol.1, n.2

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
Consideraciones_generales.pdf39.94 kBAdobe PDFVisualizar/Abrir


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons