Proof nets as formal Feynman diagrams

DOI10.1007/978-3-642-12821-9_7zbMATH Open1253.81007OpenAlexW1636386462MaRDI QIDQ3000925FDOQ3000925

Richard Blute, Prakash Panangaden

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

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

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)

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)