HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

From ordered monoids to quantales and Petri nets: completeness results revisited 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 : This paper presents a new semantics of Intuitionistic Linear Logic and its relationships with Petri nets. It comes from a new analysis of the links between ordered monoids, quantales and Petri nets. The main results are: a new completeness result for ILL from a new interpretation of the logic on nets and also a finite model property, that means completeness w.r.t finite quantales or Petri nets.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00098530
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Monday, September 25, 2006 - 5:03:10 PM
Last modification on : Wednesday, May 12, 2021 - 4:56:07 PM

Identifiers

  • HAL Id : inria-00098530, version 1

Collections

Citation

Didier Galmiche, Dominique Larchey-Wendling. From ordered monoids to quantales and Petri nets: completeness results revisited in Intuitionistic Linear Logic. Workshop on Domains IV, 1998, Rolandseck, Germany. ⟨inria-00098530⟩

Share

Metrics

Record views

67