Studia Logica 105 (3):625-647 (2017)

Charles Peirce’s alpha system \ is reformulated into a deep inference system where the rules are given in terms of deep graphical structures and each rule has its symmetrical rule in the system. The proof analysis of \ is given in terms of two embedding theorems: the system \ and Brünnler’s deep inference system for classical propositional logic can be embedded into each other; and the system \ and Gentzen sequent calculus \ can be embedded into each other.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11225-016-9703-y
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,307
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Structural Proof Theory. [REVIEW]Harold T. Hodes - 2006 - Philosophical Review 115 (2):255-258.
Peircean Graphs for Propositional Logic.Eric Hammer - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press.

Add more references

Citations of this work BETA

On the Logical Philosophy of Assertive Graphs.Daniele Chiffi & Ahti-Veikko Pietarinen - 2020 - Journal of Logic, Language and Information 29 (4):375-397.
Peirce’s Dragon-Head Logic.Minghui Ma & Ahti-Veikko Pietarinen - 2022 - Archive for History of Exact Sciences 76 (3):261-317.

View all 6 citations / Add more citations

Similar books and articles

Syntactic Cut-Elimination for Common Knowledge.Kai Brünnler & Thomas Studer - 2009 - Annals of Pure and Applied Logic 160 (1):82-95.
Linear Notation for Existential Graphs.Eric Hammer - 2011 - Semiotica 2011 (186):129-140.
Semantics for Existential Graphs.Eric M. Hammer - 1998 - Journal of Philosophical Logic 27 (5):489-503.
A Simplified System Of Sentential Logic.Michael Goodman - 2011 - Annales Philosophici 2:35-40.
Reconstituting Beta Graphs Into an Efficacious System.Sun-Joo Shin - 1999 - Journal of Logic, Language and Information 8 (3):273-295.
Implicit Proofs.Jan Krajíček - 2004 - Journal of Symbolic Logic 69 (2):387 - 397.


Added to PP index

Total views
18 ( #608,481 of 2,507,718 )

Recent downloads (6 months)
1 ( #416,820 of 2,507,718 )

How can I increase my downloads?


My notes