Biblioteca de la Universidad Complutense de Madrid

Sobre dos lógicas categóricas : lógica lineal y álgebra con tipos ordenados

Impacto



Martí Oliet, Narciso (2002) Sobre dos lógicas categóricas : lógica lineal y álgebra con tipos ordenados. [Tesis Doctoral]

[img]
Vista previa
PDF
1MB


Resumen

En la primera parte del trabajo se estudia la correspondencia triangular sistematica que se ha detectado, entre las Redes de Petri, las categorias lineales y la logica lineal de Girard. Desarrollamos en particular una sementica categorica de las Redes de Petri, tomando como objetos los estados de la red y como morfismos sus transiciones. La categoria resultante es monoidal, representando su producto tensorial el operador paralelo, el cual a su vez se identifica con el correctivo O de la logica lineal. El trabajo incluye ademas la interpretacion del resto de los correctivos de la logica lineal, por medio de los adecuados conceptos categoricos; el estudio de la negacion,interpretada como "deuda", es particularmente interesante. En la segunda parte del trabajo se extienden las algebras con tipos ordenados a orden superior. Comenzamos dando ..


Tipo de documento:Tesis Doctoral
Información Adicional:

Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, Sección Departamental de Informática Y Automática, leída el 21-06-1991

Directores (o tutores):
NombreEmail del director (o tutor)
Messeguer Guaita, José
Palabras clave:Redes (Matemáticas)
Materias:Ciencias > Matemáticas > Cibernética matemática
Código ID:3424
Depositado:17 May 2005
Última Modificación:17 Nov 2016 09:30

Sólo personal del repositorio: página de control del artículo