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

DOI10.4204/EPTCS.353.8MaRDI QIDQ6657789FDOQ6657789

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

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

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)