Proof Analysis of Peirce's Alpha System of Graphs

Ahti-Veikko Pietarinen; Minghui Ma

Proof Analysis of Peirce's Alpha System of Graphs

Ahti-Veikko Pietarinen, Minghui Ma

History, Philosophy and Religious Studies Department

Research output: Contribution to journal › Article › peer-review

15 Citations (Scopus)

Abstract

The theory of the Alpha part of Existential Graphs is shown to the be real deep inference system with its deep graphical structure and perfectly symmetrical system of rules of transformation.

Original language	English
Pages (from-to)	625--647
Journal	Studia Logica
Volume	105
Issue number	3
Publication status	Published - 2017

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

Cite this

@article{086fe029f92b481684e6d85681b26fb6,

title = "Proof Analysis of Peirce's Alpha System of Graphs",

abstract = "The theory of the Alpha part of Existential Graphs is shown to the be real deep inference system with its deep graphical structure and perfectly symmetrical system of rules of transformation.",

author = "Ahti-Veikko Pietarinen and Minghui Ma",

year = "2017",

language = "English",

volume = "105",

pages = "625----647",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "3",

}

TY - JOUR

T1 - Proof Analysis of Peirce's Alpha System of Graphs

AU - Pietarinen, Ahti-Veikko

AU - Ma, Minghui

PY - 2017

Y1 - 2017

N2 - The theory of the Alpha part of Existential Graphs is shown to the be real deep inference system with its deep graphical structure and perfectly symmetrical system of rules of transformation.

AB - The theory of the Alpha part of Existential Graphs is shown to the be real deep inference system with its deep graphical structure and perfectly symmetrical system of rules of transformation.

M3 - Article

VL - 105

SP - 625

EP - 647

JO - Studia Logica

JF - Studia Logica

SN - 0039-3215

IS - 3

ER -