Proof nets of PN as graphs

DOI10.1007/BF01269873MaRDI QIDQ1805403zbMATH OpenOpenAlexFDO

Authors Eric Duquesne, Jacques Van de Wiele

Publication date 11 May 1995

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

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

zbMATH Keywords

linear logicproof net

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Proof theory in general (including proof-theoretic semantics) (03F03)

Review text

A new definition of a proof net is given for a new system of linear logic introduced earlier. The definition is rather complicated, and its usefulness for more traditional linear logic is not obvious.

Recommendations

• scientific article; zbMATH DE number 937366
• Coherent models of proof nets
• Homology of proof-nets
• Proof Nets for Classical Logic

Cites work

• Coherent models of proof nets
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• Linear logic

Cited in

(1)

• Logic beyond formulas: a proof system on graphs

This page was built for publication: Proof nets of PN as graphs

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