A new graphical calculus of proofs

MaRDI QIDQ4964705zbMATH OpenFDO

Authors Sandra Alves, Maribel Fernández, Ian Mackie

Publication date 3 March 2021

Full work available at URL https://arxiv.org/abs/1102.2655, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TERMGRAPH2011.8

zbMATH Keywords

intuitionistic logiclambda-calculusproof theoryvisual representation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Proofs with graphs
• Proof nets as formal Feynman diagrams
• A graphical deep inference system for intuitionistic logic
• Proof diagrams for multiplicative linear logic
• Proof nets and the call-by-value \(\lambda\)-calculus

Cited in

(20)

• A new reduction rule for the connection graph proof procedure
• Proofs with graphs
• Calculational proofs in relational graphical linear algebra
• Graphic lambda calculus
• Proof nets as formal Feynman diagrams
• scientific article; zbMATH DE number 1210779 (Why is no real title available?)
• scientific article; zbMATH DE number 1231506 (Why is no real title available?)
• scientific article; zbMATH DE number 2020175 (Why is no real title available?)
• scientific article; zbMATH DE number 1748578 (Why is no real title available?)
• scientific article; zbMATH DE number 7599923 (Why is no real title available?)
• An Analytic Propositional Proof System on Graphs
• A theory of linear typings as flows on 3-valent graphs
• Matrix maps over planar near-rings
• The role of structural reasoning in the genesis of graph theory
• A graphical deep inference system for intuitionistic logic
• Natural deduction via graphs: formal definition and computation rules
• Sequent Calculus for Euler Diagrams
• Intuitionistic proofs without syntax
• A note on proofs with graphs
• A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs

This page was built for publication: A new graphical calculus of proofs

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