Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives

DOI10.1016/S0304-3975(01)00137-2MaRDI QIDQ1398470zbMATH OpenOpenAlexFDO

Authors V. Michele Abrusci

Publication date 29 July 2003

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(01)00137-2

zbMATH Keywords

bimodulescoherent spacescyclic linear logicdenotational semanticslinear logicnoncommutative logic

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites work

• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 786486 (Why is no real title available?)
• Non-commutative logic II: sequent calculus and phase semantics
• Non-commutative logic. I: The multiplicative fragment
• On denotational completeness
• Quantales and (noncommutative) linear logic
• The Mathematics of Sentence Structure

Cited in

(3)

• A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
• scientific article; zbMATH DE number 1948160 (Why is no real title available?)
• scientific article; zbMATH DE number 6829288 (Why is no real title available?)

This page was built for publication: Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives

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