Linear realisability over nets: multiplicatives

DOI10.4230/LIPICS.CSL.2025.43MaRDI QIDQ7261457zbMATH OpenFDO

Authors Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco

Publication date 9 June 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2025.43

zbMATH Keywords

correctnesshypergraphslinear logicorthogonalityproof netsrealisabilityrewriting

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites work

• A concurrent model for linear logic
• A dialectica-like model of linear logic
• Concurrent realizability on conjunctive structures
• scientific article; zbMATH DE number 5851813 (Why is no real title available?)
• scientific article; zbMATH DE number 194205 (Why is no real title available?)
• scientific article; zbMATH DE number 1841811 (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
• Linear logic
• Minimality of the correctness criterion for multiplicative proof nets
• The structure of multiplicatives

This page was built for publication: Linear realisability over nets: multiplicatives

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