A new graphical calculus of proofs

zbMATH Open1469.03156arXiv1102.2655MaRDI QIDQ4964705FDOQ4964705

Authors: Sandra Alves, Maribel Fernández, Ian Mackie 

Publication date: 3 March 2021

Full work available at URL: https://arxiv.org/abs/1102.2655

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

zbMATH Keywords

proof theoryintuitionistic logiclambda-calculusvisual representation

Mathematics Subject Classification ID

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

Cited In (17)

• A note on proofs with graphs
• Natural deduction via graphs: formal definition and computation rules
• The role of structural reasoning in the genesis of graph theory
• Title not available (Why is that?)
• Graphic lambda calculus
• A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs
• A new reduction rule for the connection graph proof procedure
• A graphical deep inference system for intuitionistic logic
• Sequent Calculus for Euler Diagrams
• Proof nets as formal Feynman diagrams
• Calculational proofs in relational graphical linear algebra
• Title not available (Why is that?)
• Matrix maps over planar near-rings
• Title not available (Why is that?)
• Title not available (Why is that?)
• A theory of linear typings as flows on 3-valent graphs
• An Analytic Propositional Proof System on 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)