Coherent models of proof nets

DOI10.1007/BF01352934MaRDI QIDQ1325054zbMATH OpenOpenAlexFDO

Authors Eric Duquesne, Jacques Van de Wiele

Publication date 7 July 1994

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01352934

zbMATH Keywords

coherent spacecorrectness graphsintermediate syntaxpure proof nets

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70) Structure of proofs (03F07)

Recommendations

• Publication:4896506
• scientific article; zbMATH DE number 786495
• Coherence of proof-net categories
• Coherence for sharing proof-nets

Cites work

• Linear logic
• The system \({\mathcal F}\) of variable types, fifteen years later

Cited in

(18)

• Obsessional experiments for linear logic proof-nets
• scientific article; zbMATH DE number 786495 (Why is no real title available?)
• scientific article; zbMATH DE number 1314226 (Why is no real title available?)
• scientific article; zbMATH DE number 786499 (Why is no real title available?)
• scientific article; zbMATH DE number 937366 (Why is no real title available?)
• Jump from parallel to sequential proofs: exponentials
• Confluence of Pure Differential Nets with Promotion
• Sequent reconstruction in LLM -- A sweepline proof
• Proof diagrams for multiplicative linear logic: syntax and semantics
• Integration of multiple formal matrix models in Coq
• Coherence for sharing proof nets
• From proof-nets to bordisms: the geometric meaning of multiplicative connectives
• Proof nets of PN as graphs
• Coherence for sharing proof-nets
• A new deconstructive logic: linear logic
• Computer Science Logic
• A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
• Coherent interaction graphs

This page was built for publication: Coherent models of proof nets

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