Proof nets of PN as graphs

DOI10.1007/BF01269873zbMATH Open0823.03002OpenAlexW2025674602MaRDI QIDQ1805403FDOQ1805403

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

Recommendations

• Publication:4896506
• Coherent models of proof nets
• Homology of proof-nets
• Proof Nets for Classical Logic

zbMATH Keywords

linear logicproof net

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Linear logic
• Coherent models of proof nets

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)