Coherent interaction graphs

MaRDI QIDQ5018489zbMATH OpenFDO

Authors Lê Thành Dũng Nguyên, Thomas Seiller

Publication date 20 December 2021

Full work available at URL https://arxiv.org/abs/1904.06849, http://eptcs.web.cse.unsw.edu.au/paper.cgi?LinearityTLLA2018.6

Mathematics Subject Classification ID

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

Recommendations

• Interaction graphs: multiplicatives
• A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
• Coherent models of proof nets
• A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
• Coherence of proof-net categories

Cites work

• A new correctness criterion for MLL proof nets
• A survey of the algorithmic aspects of modular decomposition
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Coherence for compact closed categories
• Complement reducible graphs
• Conflict nets
• Differential interaction nets
• Geometry of interaction. V: Logic in the hyperfinite factor
• Glueing and orthogonality for models of linear logic
• Handsome proof-nets: Perfect matchings and cographs
• scientific article; zbMATH DE number 4099289 (Why is no real title available?)
• scientific article; zbMATH DE number 15495 (Why is no real title available?)
• scientific article; zbMATH DE number 194205 (Why is no real title available?)
• scientific article; zbMATH DE number 2061714 (Why is no real title available?)
• scientific article; zbMATH DE number 937366 (Why is no real title available?)
• Interaction graphs: additives
• Interaction graphs: graphings
• Interaction graphs: multiplicatives
• On three approaches to conjugacy in semigroups.
• Proof nets for unit-free multiplicative-additive linear logic
• Proofs without syntax
• Visible acyclic differential nets. I: Semantics

Cited in

(7)

• Non-uniform hypercoherences
• Non-uniform (hyper/multi)coherence spaces
• A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
• Enumerating Independent Linear Inferences
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• Exponentially handsome proof nets and their normalization
• Interaction graphs: multiplicatives

This page was built for publication: Coherent interaction graphs

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