Proof analysis of Peirce's alpha system of graphs

DOI10.1007/s11225-016-9703-yzbMath1417.03281OpenAlexW2562279582MaRDI QIDQ2363507

Ahti-Veikko Pietarinen, Minghui Ma

Publication date: 19 July 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-016-9703-y

zbMATH Keywords

sequent calculusPeircedeep inferencealpha graph

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

Peirce's dragon-head logic (R 501, 1901), Thoughts, Things and Logical Guidance, A New Syntax for Diagrammatic Logic: A Generic Figures Approach, On the logical philosophy of assertive graphs, A Weakening of Alpha Graphs: Quasi-Boolean Algebras, Assertive and Existential Graphs: A Comparison

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Peirce's logic of continuity: existential graphs and non-Cantorian continuum
• Signs of logic. Peircean themes on the philosophy of language, games, and communication
• A categorical interpretation of C. S. Peirce's propositional logic Alpha
• On the proof complexity of deep inference
• Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce's existential graphs
• Peirce’s Sequent Proofs of Distributivity
• Diagrammatic Representation and Inference
• EXISTENTIAL GRAPHS AS AN INSTRUMENT OF LOGICAL ANALYSIS: PART I. ALPHA
• Some Notes on Proofs with Alpha Graphs