Login

Consideraciones generales acerca de la lógica lineal

pepe

DSpace/Manakin Repository

Consideraciones generales acerca de la lógica lineal

Show full item record

Title: Consideraciones generales acerca de la lógica lineal
Author: Nunez de Medeiros, María da P.
Editorial: Universidad de Ciencias Empresariales y Sociales (UCES)
Cita: Nunez de Medeiros, M. P. (2002). Consideraciones generales acerca de la lógica lineal. Energeia, 1(2), 217-230.
Palabras Clave: Matemáticas Lógica Inteligencia artificial
Abstract: 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: http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/470
Date: 2002
ISSN: 1666-5732


Files in this item

Files Size Format View
Consideraciones_generales.pdf 39.93Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record

Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina Except where otherwise noted, this item's license is described as Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina

Search DSpace


Advanced Search

Browse

My Account