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
Cite this
Pietarinen, A-V., & Ma, M. (2017). Proof Analysis of Peirce's Alpha System of Graphs. Studia Logica, 105(3), 625--647.