Existential Graphs as a Basis for Structural Reasoning

DOI10.1007/978-3-319-91376-6_53MaRDI QIDQ5878886zbMATH OpenOpenAlexFDO

Authors Javier Legris

Publication date 23 February 2023

Published in Diagrammatic Representation and Inference (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-91376-6_53

zbMATH Keywords

diagrammatic reasoningexistential graphsstructural reasoning

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Semantics for existential graphs
• Graph theoretical structures in logic programs and default theories
• Existential graphs as an instrument of logical analysis. I: Alpha
• The existential graphs
• Assertive and Existential Graphs: A Comparison
• scientific article; zbMATH DE number 177437
• Existential second-order logic over graphs: charting the tractability frontier
• On graph reasoning

Cites work

• Existential graphs as an instrument of logical analysis. I: Alpha
• Logical constants as punctuation marks
• Peirce's logic of continuity: existential graphs and non-Cantorian continuum
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• Two Iconicity Notions in Peirce’s Diagrammatology

Cited in

(5)

• Semantics for existential graphs
• scientific article; zbMATH DE number 4203783 (Why is no real title available?)
• On Non-Eliminative Structuralism. Unlabeled Graphs as a Case Study, Part B†
• Graph theoretical structures in logic programs and default theories
• On graph reasoning

This page was built for publication: Existential Graphs as a Basis for Structural Reasoning

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