Peirce's calculi for classical propositional logic
DOI10.1017/S1755020318000187zbMATH Open1485.03017OpenAlexW2898929955WikidataQ129076322 ScholiaQ129076322MaRDI QIDQ5117592FDOQ5117592
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
Recommendations
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Gamma graph calculi for modal logics
- New light on Peirce's conceptions of retroduction, deduction, and scientific reasoning
- Exploring the beta quadrant
- Existential graphs as an instrument of logical analysis. I: Alpha
- Deep inference and symmetry in classical proofs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Peirce's sequent proofs of distributivity
- Peirce’s Contributions to the 21st Century
- Peirce's axioms for propositional calculus
Cited In (17)
- Peirce's sequent proofs of distributivity
- Title not available (Why is that?)
- To Peirce Hintikka's thoughts
- A categorical interpretation of C. S. Peirce's propositional logic Alpha
- An analysis of existential graphs. II: Beta
- Thoughts, things and logical guidance
- Peirce's existential graphs in the systems \(\mathrm{alpha}^\circ\) and \(\mathrm{alpha}^{\circ\circ}\)
- Peirce's dragon-head logic (R 501, 1901)
- Title not available (Why is that?)
- Peirce's Truth-functional Analysis and the Origin of the Truth Table
- Residuation in existential graphs
- Mutual insights on Peirce and Husserl
- Peirce's Search for a Graphical Modal Logic (Propositional Part)
- Peirce's triadic logic and its (overlooked) connexive expansion
- Some Notes on Proofs with Alpha Graphs
- Title not available (Why is that?)
- Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic
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)
