Monoid based semantics for linear formulas (corrected republication)

DOI10.2178/JSL/1190150094MaRDI QIDQ3149979zbMATH OpenOpenAlexFDO

Authors William P. R. Mitchell, Harold Simmons

Publication date 7 September 2003

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1190150094

zbMATH Keywords

dualityGirard quantalelinear logicpartially ordered grouppartially ordered monoidsemantics

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Other algebras related to logic (03G25) Quantales (06F07) Ordered groups (06F15)

Recommendations

• Monoid based semantics for linear formulas
• scientific article; zbMATH DE number 4173040
• Girard subquantales
• scientific article; zbMATH DE number 1531367
• Quantales and structural rules

Cited in

(3)

• scientific article; zbMATH DE number 4173040 (Why is no real title available?)
• Monoid based semantics for linear formulas
• scientific article; zbMATH DE number 1531367 (Why is no real title available?)

This page was built for publication: Monoid based semantics for linear formulas (corrected republication)

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