Some Notes on Proofs with Alpha Graphs

DOI10.1007/11787181_13MaRDI QIDQ5757444zbMATH OpenOpenAlexFDO

Authors Frithjof Dau

Publication date 6 September 2007

Published in Conceptual Structures: Inspiration and Application (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11787181_13

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Other nonclassical logic (03B60)

Recommendations

• Peirce's existential graphs in the systems \(\mathrm{alpha}^\circ\) and \(\mathrm{alpha}^{\circ\circ}\)
• Peirce's calculi for classical propositional logic
• Proof analysis of Peirce's alpha system of graphs
• Existential graphs as an instrument of logical analysis. I: Alpha
• Gamma graph calculi for modal logics

Cited in

(10)

• A categorical interpretation of C. S. Peirce's propositional logic Alpha
• A functional account of probabilistic programming with possible worlds. Declarative pearl
• Proof analysis of Peirce's alpha system of graphs
• Fixed-Point Elimination in the Intuitionistic Propositional Calculus
• Peirce's existential graphs in the systems \(\mathrm{alpha}^\circ\) and \(\mathrm{alpha}^{\circ\circ}\)
• Peirce's calculi for classical propositional logic
• Peirce's sequent proofs of distributivity
• A Weakening of Alpha Graphs: Quasi-Boolean Algebras
• Native diagrammatic soundness and completeness proofs for Peirce's existential graphs (alpha)
• A note on proofs with graphs

This page was built for publication: Some Notes on Proofs with Alpha Graphs

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