A graphical deep inference system for intuitionistic logic

DOI10.2143/LEA.245.0.3285706MaRDI QIDQ5212088zbMATH OpenFDO

Authors Ma Minghui, Ahti Pietarinen

Publication date 24 January 2020

Full work available at URL https://doi.org/10.2143/LEA.245.0.3285706

zbMATH Keywords

Charles Peircedeep inferencegraphical logicintuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Intuitionistic N-graphs
• A new graphical calculus of proofs
• Proof analysis of Peirce's alpha system of graphs
• On graphs for intuitionistic modal logics
• Assertive graphs

Cited in

(15)

• Peirce's dragon-head logic (R 501, 1901)
• On the logical philosophy of assertive graphs
• Equivalence proof for intuitionistic existential alpha graphs
• Residuation in existential graphs
• Natural deduction for intuitionistic Euler-Venn diagrams
• scientific article; zbMATH DE number 1210779 (Why is no real title available?)
• A new graphical calculus of proofs
• Peirce's existential graphs as a contribution to transcendental logic
• Intuitionistic N-graphs
• Propositional intuitionistic multiple-conclusion calculus via proof graphs
• A Weakening of Alpha Graphs: Quasi-Boolean Algebras
• Assertive and Existential Graphs: A Comparison
• Complex representation of alpha graphs for implicative logic with conjunction
• Peirce and Łukasiewicz on modal and multi-valued logics
• The flower calculus

This page was built for publication: A graphical deep inference system for intuitionistic logic

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