Título de la tesis:
Sobre dos lógicas categóricas : lógica lineal y álgebra con tipos ordenados
Autor/es:
Martí Oliet, Narciso
Tipo de documento:
Tesis (Doctoral)
Universidad:
Universidad Complutense de Madrid
Departamento:
Departamento
Idioma:
Castellano
Palabras clave:
Redes (Matemáticas)
Fecha de la defensa:
2005-05-17
Notas:
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,...
Valoración:
Clasificación por
