PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC

DOI10.1017/S1755020318000187zbMATH Open1485.03017OpenAlexW2898929955WikidataQ129076322 ScholiaQ129076322MaRDI QIDQ5117592FDOQ5117592

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)

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: PART I. ALPHA
• Title not available (Why is that?)
• 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 (13)

• 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
• Mutual Insights on Peirce and Husserl
• Peirce's dragon-head logic (R 501, 1901)
• Title not available (Why is that?)
• Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion
• Peirce's Truth-functional Analysis and the Origin of the Truth Table
• Residuation in existential graphs
• Peirce's Search for a Graphical Modal Logic (Propositional Part)
• Thoughts, Things and Logical Guidance
• 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)