Proof Analysis of Peirce's Alpha System of Graphs

Research output: Contribution to journalArticle

6 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 languageEnglish
Pages (from-to)625--647
JournalStudia Logica
Volume105
Issue number3
Publication statusPublished - 2017

Fingerprint

Graph in graph theory
Graph
Graphics
Inference
Existential Graphs

Cite this

Proof Analysis of Peirce's Alpha System of Graphs. / Pietarinen, Ahti-Veikko; Ma, Minghui.

In: Studia Logica, Vol. 105, No. 3, 2017, p. 625--647.

Research output: Contribution to journalArticle

Pietarinen, Ahti-Veikko ; Ma, Minghui. / Proof Analysis of Peirce's Alpha System of Graphs. In: Studia Logica. 2017 ; Vol. 105, No. 3. pp. 625--647.
@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 -