Proof Analysis of Peirce’s Alpha System of Graphs

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

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.

Analytics

Added to PP
2016-12-20

Downloads
20 (#629,616)

6 months
2 (#528,188)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Ahti-Veikko Pietarinen
Hong Kong Baptist University
Minghui Ma
Sun Yat-Sen University

Citations of this work

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

View all 7 citations / Add more citations