Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces

DOI10.4204/EPTCS.353.8MaRDI QIDQ6657789zbMATH OpenFDO

Authors Christian Retoré

Publication date 6 January 2025

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 2185722 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 1841813 (Why is no real title available?)
• A complete axiomatisation for the inclusion of series-parallel partial orders
• A new constructive logic: classic logic
• A semantic characterisation of the correctness of a proof net
• A system of interaction and structure
• A system of interaction and structure. IV: The exponentials and decomposition
• Joachim Lambek: the interplay of mathematics, logic, and linguistics
• Linear logic
• Localisation and interaction in one dimension
• Miscellaneous digraph classes
• On noncommutative extensions of linear logic
• The blind spot. Lectures on logic
• The system \({\mathcal F}\) of variable types, fifteen years later
• Untersuchungen über das logische Schließen. I.

This page was built for publication: Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces

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