RT Dissertation/Thesis
T1 Sobre dos lógicas categóricas : lógica lineal y álgebra con tipos ordenados
A1 Martí Oliet, Narciso
AB 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 ..
PB Universidad Complutense de Madrid
SN 978-84-669-0704-0
YR 2002
FD 2002
LK https://hdl.handle.net/20.500.14352/63308
UL https://hdl.handle.net/20.500.14352/63308
LA spa
NO 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
DS Docta Complutense
RD 30 abr 2024