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

• Autores: Narciso Martí Oliet
• Directores de la Tesis: José Meseguer Guaita (dir. tes.)
• Lectura: En la Universidad Complutense de Madrid ( España ) en 1991
• Idioma: español
• Tribunal Calificador de la Tesis: Ignacio Sols Lucia (presid.), Mario Rodríguez Artalejo (secret.), UGO MONTANARI (voc.), Fernando Orejas Valdés (voc.), José F. Prida (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Lógica matemática
  • Matemáticas
    • Ciencia de los ordenadores
      • Informática
• Enlaces
  • Tesis en acceso abierto en: Docta Complutense
• 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.