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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Nunez de Medeiros, María da P.
Formato: Artículo
Lenguaje:Español
Publicado: Universidad de Ciencias Empresariales y Sociales (UCES) 2009
Materias:
Matemáticas
Lógica
Inteligencia artificial
Acceso en línea:http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/470
Aporte de:
Repositorio Institucional (UCES) de Universidad de Ciencias Empresariales y Sociales (UCES)
id I30-R136123456789-470
record_format dspace
institution Universidad de Ciencias Empresariales y Sociales (UCES)
institution_str I-30
repository_str R-136
collection Repositorio Institucional (UCES)
language Español
topic Matemáticas
Lógica
Inteligencia artificial
spellingShingle Matemáticas
Lógica
Inteligencia artificial
Nunez de Medeiros, María da P.
Consideraciones generales acerca de la lógica lineal
topic_facet Matemáticas
Lógica
Inteligencia artificial
description 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.
format Article
author Nunez de Medeiros, María da P.
author_facet Nunez de Medeiros, María da P.
author_sort Nunez de Medeiros, María da P.
title Consideraciones generales acerca de la lógica lineal
title_short Consideraciones generales acerca de la lógica lineal
title_full Consideraciones generales acerca de la lógica lineal
title_fullStr Consideraciones generales acerca de la lógica lineal
title_full_unstemmed Consideraciones generales acerca de la lógica lineal
title_sort consideraciones generales acerca de la lógica lineal
publisher Universidad de Ciencias Empresariales y Sociales (UCES)
publishDate 2009
url http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/470
work_keys_str_mv AT nunezdemedeirosmariadap consideracionesgeneralesacercadelalogicalineal
bdutipo_str Repositorios
_version_ 1764820523589566469

Ejemplares similares