Order algebras as models of linear logic

DOI10.1023/B:STUD.0000032085.13087.bdzbMath1044.03050OpenAlexW2126988555MaRDI QIDQ1826927

Han Zhang, Constantine Tsinakis

Publication date: 6 August 2004

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:stud.0000032085.13087.bd

zbMATH Keywords

Petri netslinear logicquantalespartially ordered monoidsnet semantics

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Quantales (06F07)

Related Items (2)

Prior’s OIC nonconservativity example revisited ⋮ Resource convertibility and ordered commutative monoids

This page was built for publication: Order algebras as models of linear logic