Proof Analysis of Peirce’s Alpha System of Graphs

Minghui Ma*, Ahti Veikko Pietarinen

*Corresponding author for this work

Research output: Contribution to journalJournal articlepeer-review

21 Citations (Scopus)


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 G3ccan be embedded into each other.

Original languageEnglish
Pages (from-to)625-647
Number of pages23
JournalStudia Logica
Issue number3
Early online date19 Dec 2016
Publication statusPublished - Jun 2017

Scopus Subject Areas

  • Logic
  • History and Philosophy of Science

User-Defined Keywords

  • Alpha graph
  • Deep inference
  • Peirce
  • Sequent calculus


Dive into the research topics of 'Proof Analysis of Peirce’s Alpha System of Graphs'. Together they form a unique fingerprint.

Cite this