From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Completeness Results in Intuitionistic Linear Logic

Didier Galmiche 1 Dominique Larchey-Wendling 1
1 TYPES - Logic, proof Theory and Programming
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, in contrast with previous proof-theoretic studies, we aim to analyse some foundations of frameworks based on linear logic (LL), but from a semantical point of view. We propose at first to revise the semantics of Intuitionistic Linear Logic (ILL), starting with an unified analysis of known semantics of ILL, like phase semantics or Petri nets semantics. We study the embedding of ordered monoids into quantales from the relationships between the notions of order and closure, and then we obtain general constructions and results about such embedding. It naturally leads to a new semantics based on ordered monoid that is complete for the full fragment of ILL. Moreover, we analyse the relationships between ordered monoids and Petri nets and deduce, from the previous results, a completeness result for a new Petri net semantics of ILL. Finally, we show how it is possible to consider a similar approach for the non-commutative ILL.
Type de document :
Rapport
[Intern report] 99-R-116 || galmiche99k, 1999, 30 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00098934
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:40:28
Dernière modification le : jeudi 11 janvier 2018 - 06:20:14

Identifiants

  • HAL Id : inria-00098934, version 1

Collections

Citation

Didier Galmiche, Dominique Larchey-Wendling. From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Completeness Results in Intuitionistic Linear Logic. [Intern report] 99-R-116 || galmiche99k, 1999, 30 p. 〈inria-00098934〉

Partager

Métriques

Consultations de la notice

63