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.
CITATION STYLE
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
Mendeley helps you to discover research relevant for your work.