Completeness results for linear logic on Petri nets

DOI10.1016/S0168-0072(96)00024-3zbMATH Open0873.03005OpenAlexW1990495483MaRDI QIDQ1361243FDOQ1361243

Authors: 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

Recommendations

• The completeness of linear logic for Petri net models
• scientific article; zbMATH DE number 125887
• Linear logic as a logic of computations

zbMATH Keywords

completenessatomic netsintuitionistic linear logicPetri net semanticsfragments of linear logic

Mathematics Subject Classification ID

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

Cites Work

• Linear logic
• Quantales and (noncommutative) linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The linear abstract machine
• FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY

Cited In (23)

• Linear logic based calculi for object Petri nets
• Completeness results for single-path Petri nets
• Linear logic for nets with bounded resources
• Timed Petri nets and temporal linear logic
• Title not available (Why is that?)
• Interpreting a finitary pi-calculus in differential interaction nets
• Title not available (Why is that?)
• Linear constraint systems as high-level nets
• A logic of separating modalities
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Debits and Credits in Petri Nets and Linear Logic
• Complexity bounds for sum-product logic via additive proof nets and Petri nets
• The completeness of linear logic for Petri net models
• An algebraic glimpse at bunched implications and separation logic
• A modal BI logic for dynamic resource properties
• Title not available (Why is that?)
• Proof procedure and answer extraction in Petri net model of logic programs
• Strategic reasoning with a bounded number of resources: the quest for tractability
• On linear logic planning and concurrency
• Coordination: Reo, Nets, and Logic
• Fuzzy sets, linear logic and petrinets
• Proof-search in type-theoretic languages: An introduction
• Phase semantics and Petri net interpretation for resource-sensitive strong negation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1361243)