Peirce's existential graphs in the systems alpha^ and alpha^

MaRDI QIDQ3067345zbMATH OpenFDO

Authors Yuri Alexander Poveda Quiñones

Publication date 21 January 2011

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematical logic and foundations (03-03)

Recommendations

• Some Notes on Proofs with Alpha Graphs
• Proof analysis of Peirce's alpha system of graphs
• scientific article; zbMATH DE number 1787152
• Existential graphs as an instrument of logical analysis. I: Alpha
• Peirce's calculi for classical propositional logic

Cited in

(5)

• Proof analysis of Peirce's alpha system of graphs
• Equivalence proof for intuitionistic existential alpha graphs
• Peirce's calculi for classical propositional logic
• Some Notes on Proofs with Alpha Graphs
• A Weakening of Alpha Graphs: Quasi-Boolean Algebras

This page was built for publication: Peirce's existential graphs in the systems \(\mathrm{alpha}^\circ\) and \(\mathrm{alpha}^{\circ\circ}\)

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