Proof Analysis of Peirce’s Alpha System of Graphs

20Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Charles Peirce’s alpha system Sα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 Sαis given in terms of two embedding theorems: the system Sαand Brünnler’s deep inference system for classical propositional logic can be embedded into each other; and the system Sαand Gentzen sequent calculus G3c∗can be embedded into each other.

Cite

CITATION STYLE

APA

Ma, M., & Pietarinen, A. V. (2017). Proof Analysis of Peirce’s Alpha System of Graphs. Studia Logica, 105(3), 625–647. https://doi.org/10.1007/s11225-016-9703-y

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free