scientific article; zbMATH DE number 7599923

MaRDI QIDQ5039095zbMATH OpenFDO

Authors Francesco Bellucci, Daniele Chiffi, Ahti Pietarinen

Publication date 12 October 2022

zbMATH Keywords

assertionsexistential/assertive graphsintuitionistic logicquantifierstransformationstype vs. occurrence-referential notations

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• On the logical philosophy of assertive graphs
• Beta Assertive Graphs
• Reachability predicates for graph assertions
• Propositional intuitionistic multiple-conclusion calculus via proof graphs
• A new graphical calculus of proofs
• Proof graphs for parameterised Boolean equation systems
• Equivalence proof for intuitionistic existential alpha graphs
• Deduction graphs with universal quantification
• Logic beyond formulas: a proof system on graphs
• Proof-graphs for minimal implicational logic

Cited in

(4)

• On the logical philosophy of assertive graphs
• Exploring the beta quadrant
• Assertive and Existential Graphs: A Comparison
• Beta Assertive Graphs

This page was built for publication:

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