Coherent models of proof nets

DOI10.1007/BF01352934zbMath0805.03045OpenAlexW1998059183MaRDI QIDQ1325054

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

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

Related Items

A new deconstructive logic: linear logic, Proof nets of PN as graphs

Cites Work

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