Proof nets as formal Feynman diagrams

DOI10.1007/978-3-642-12821-9_7MaRDI QIDQ3000925zbMATH OpenOpenAlexFDO

Authors Prakash Panangaden, Richard Blute

Publication date 31 May 2011

Published in New Structures for Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-12821-9_7

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Feynman integrals and graphs; applications of algebraic topology and algebraic geometry (81Q30) Feynman diagrams (81T18) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Proof diagrams for multiplicative linear logic
• Proof diagrams for multiplicative linear logic: syntax and semantics
• A new graphical calculus of proofs
• scientific article; zbMATH DE number 2134911
• Proof nets and the linear substitution calculus

Cited in

(1)

• A new graphical calculus of proofs

This page was built for publication: Proof nets as formal Feynman diagrams

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