Completeness results for linear logic on Petri nets

DOI10.1016/S0168-0072(96)00024-3zbMath0873.03005OpenAlexW1990495483MaRDI QIDQ1361243

Uffe Engberg, Glynn Winskel

Publication date: 26 October 1997

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(96)00024-3

zbMATH Keywords

completenessatomic netsintuitionistic linear logicPetri net semanticsfragments of linear logic

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (11)

A logic of separating modalities ⋮ A Modal BI Logic for Dynamic Resource Properties ⋮ Debits and Credits in Petri Nets and Linear Logic ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Strategic reasoning with a bounded number of resources: the quest for tractability ⋮ Interpreting a finitary pi-calculus in differential interaction nets ⋮ Coordination: Reo, Nets, and Logic ⋮ Phase semantics and Petri net interpretation for resource-sensitive strong negation ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\) ⋮ Proof-search in type-theoretic languages: An introduction ⋮ On linear logic planning and concurrency

Cites Work

• Linear logic
• The linear abstract machine
• Quantales and (noncommutative) linear logic
• FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Completeness results for linear logic on Petri nets