Proof nets for first-order additive linear logic

DOI10.4230/LIPICS.FSCD.2019.22MaRDI QIDQ5089024zbMATH OpenFDO

Authors Willem Heijltjes, Lutz Straßburger, Dominic J. D. Hughes

Publication date 18 July 2022

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2019.22

zbMATH Keywords

first-order logicHerbrand's theoremlinear logicproof nets

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Recommendations

• Unification nets: canonical proof net quantifiers
• Proof nets for unit-free multiplicative-additive linear logic
• scientific article; zbMATH DE number 937366
• Computer Science Logic
• Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic

Cites work

• A Characterization of Medial as Rewriting Rule
• A compact representation of proofs
• A sequent calculus with implicit term representation
• Classical proof forestry
• Conflict nets
• scientific article; zbMATH DE number 872569 (Why is no real title available?)
• scientific article; zbMATH DE number 937366 (Why is no real title available?)
• Linear logic
• On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication
• Parsing MELL proof nets
• Proof nets for unit-free multiplicative-additive linear logic
• Proofs without syntax
• Propositions as sessions
• Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
• Sequentiality vs. concurrency in games and logic
• Session types as intuitionistic linear propositions
• The structure of first-order causality
• The structure of multiplicatives
• Unification nets: canonical proof net quantifiers

Cited in

(4)

• Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
• scientific article; zbMATH DE number 1948160 (Why is no real title available?)
• scientific article; zbMATH DE number 7359406 (Why is no real title available?)
• Combinatorial flows as bicolored atomic flows

This page was built for publication: Proof nets for first-order additive linear logic

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