Complutense University Library

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

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

Official URL: http://eprints.ucm.es/tesis/19911996/X/2/X2002301.pdf

View download statistics for this eprint

==>>> Export to other formats

Abstract

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

Item Type:Thesis (PhD)
Additional Information: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
Directors:
DirectorsDirector email
Messeguer Guaita, JoséUNSPECIFIED
Uncontrolled Keywords:Redes (Matemáticas)
Subjects:Sciences > Mathematics > Cybernetics
ID Code:3424
Deposited On:17 May 2005
Last Modified:30 Oct 2011 10:37

Repository Staff Only: item control page