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:
Acceso en línea:http://dspace.uces.edu.ar:8180/xmlui/handle/123456789/470
Aporte de:

Ejemplares similares