PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC

DOI10.1017/S1755020318000187zbMath1485.03017OpenAlexW2898929955WikidataQ129076322 ScholiaQ129076322MaRDI QIDQ5117592

Minghui Ma, Ahti-Veikko 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 algebraalgebra of logicsequent calculusconsequencePeircealpha graphsillation

Mathematics Subject Classification ID

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

Related Items (7)

Peirce's dragon-head logic (R 501, 1901) ⋮ Residuation in existential graphs ⋮ An analysis of existential graphs. II: Beta ⋮ Mutual Insights on Peirce and Husserl ⋮ Thoughts, Things and Logical Guidance ⋮ To Peirce Hintikka's thoughts ⋮ Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion

Cites Work

• 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
• EXISTENTIAL GRAPHS AS AN INSTRUMENT OF LOGICAL ANALYSIS: PART I. ALPHA
• Peirce’s Contributions to the 21st Century
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC