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

DOI10.1016/S0304-3975(01)00137-2zbMath1029.03050OpenAlexW1964062621MaRDI QIDQ1398470

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

bimoduleslinear logicdenotational semanticscoherent spacesnoncommutative logiccyclic linear logic

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• On denotational completeness
• Non-commutative logic. I: The multiplicative fragment
• The Mathematics of Sentence Structure
• Quantales and (noncommutative) linear logic
• Non-commutative logic II: sequent calculus and phase semantics

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