Peirce’s Sequent Proofs of Distributivity

DOI10.1007/978-3-662-54069-5_13zbMath1485.03065OpenAlexW2557358770MaRDI QIDQ5224499

Minghui Ma, Ahti-Veikko Pietarinen

Publication date: 24 July 2019

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-54069-5_13

zbMATH Keywords

distributivitysequent calculusPeirce's rulealpha graphs

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (6)

Proof analysis of Peirce's alpha system of graphs ⋮ Residuation in existential graphs ⋮ PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC ⋮ Gamma graph calculi for modal logics ⋮ \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary ⋮ A Weakening of Alpha Graphs: Quasi-Boolean Algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Signs of logic. Peircean themes on the philosophy of language, games, and communication
• Diagrammatic Representation and Inference
• EXISTENTIAL GRAPHS AS AN INSTRUMENT OF LOGICAL ANALYSIS: PART I. ALPHA
• Peirce’s Contributions to the 21st Century

This page was built for publication: Peirce’s Sequent Proofs of Distributivity