Peirce's calculi for classical propositional logic

DOI10.1017/S1755020318000187MaRDI QIDQ5117592zbMATHOpenAlexWikidataFDO

Authors Minghui Ma, Ahti Pietarinen

Publication date 26 August 2020

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020318000187

zbMATH Keywords

Boolean algebrasequent calculusconsequencealgebra of logicPeircealpha graphsillation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 19th century (01A55) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03) History of mathematical logic and foundations (03-03)

Recommendations

• Peirce's sequent proofs of distributivity
• Some Notes on Proofs with Alpha Graphs
• Existential graphs as an instrument of logical analysis. I: Alpha
• Peirce's existential graphs in the systems \(\mathrm{alpha}^\circ\) and \(\mathrm{alpha}^{\circ\circ}\)
• scientific article; zbMATH DE number 3979041

Cites work

• scientific article; zbMATH DE number 5838699 (Why is no real title available?)
• scientific article; zbMATH DE number 3691294 (Why is no real title available?)
• scientific article; zbMATH DE number 1927590 (Why is no real title available?)
• scientific article; zbMATH DE number 1548692 (Why is no real title available?)
• scientific article; zbMATH DE number 2108953 (Why is no real title available?)
• scientific article; zbMATH DE number 3062907 (Why is no real title available?)
• Deep inference and symmetry in classical proofs
• Existential graphs as an instrument of logical analysis. I: Alpha
• Exploring the beta quadrant
• Gamma graph calculi for modal logics
• New light on Peirce's conceptions of retroduction, deduction, and scientific reasoning
• Peirce's axioms for propositional calculus
• Peirce's sequent proofs of distributivity
• Peirce’s Contributions to the 21st Century

Cited in

(17)

• scientific article; zbMATH DE number 709767 (Why is no real title available?)
• Residuation in existential graphs
• An analysis of existential graphs. II: Beta
• Thoughts, things and logical guidance
• Peirce's triadic logic and its (overlooked) connexive expansion
• scientific article; zbMATH DE number 5839726 (Why is no real title available?)
• A categorical interpretation of C. S. Peirce's propositional logic Alpha
• Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic
• Peirce's Search for a Graphical Modal Logic (Propositional Part)
• Peirce's existential graphs in the systems \(\mathrm{alpha}^\circ\) and \(\mathrm{alpha}^{\circ\circ}\)
• Peirce's Truth-functional Analysis and the Origin of the Truth Table
• Peirce's sequent proofs of distributivity
• Peirce's dragon-head logic (R 501, 1901)
• Mutual insights on Peirce and Husserl
• To Peirce Hintikka's thoughts
• Some Notes on Proofs with Alpha Graphs
• scientific article; zbMATH DE number 3979041 (Why is no real title available?)

This page was built for publication: Peirce's calculi for classical propositional logic

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