Multiplicative linear logic for resource transformation nets

DOI10.1007/3-540-58140-5_9MaRDI QIDQ4501140zbMATH OpenFDO

Authors Alexander M. Dekhtyar

Publication date 3 September 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58140-5_9

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Linear logic for nets with bounded resources
• Modal linear logic
• Completeness results for linear logic on Petri nets
• Proof nets sequentialisation in multiplicative linear logic
• The completeness of linear logic for Petri net models

Cited in

(2)

• Linear logic for nets with bounded resources
• Modal linear logic

This page was built for publication: Multiplicative linear logic for resource transformation nets

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