Proof Analysis of Peirce's Alpha System of Graphs

被引：15

作者：

Ma, Minghui ^{[1
]}

Pietarinen, Ahti-Veikko ^{[2
]}

机构：

[1] Sun Yat Sen Univ, Dept Philosophy, Inst Log & Cognit, Xingang Xi Rd 135, Guangzhou, Guangdong, Peoples R China

[2] Tallinn Univ Technol, Tallinn, Estonia

来源：

STUDIA LOGICA | 2017年 / 105卷 / 03期

基金：

芬兰科学院;

关键词：

Peirce; Alpha graph; Deep inference; Sequent calculus; LOGIC;

D O I：

10.1007/s11225-016-9703-y

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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 Brunnler'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.

引用

页码：625 / 647

页数：23

共 50 条

[31] ON THE QUESTION OF THE FOUNDATION OF PRAGMATCISM + PEIRCE,C.S. THEORY OF PROOF
ESPOSITO, JL
[J]. TRANSACTIONS OF THE CHARLES S PEIRCE SOCIETY, 1981, 17 (03): : 259 - 268
[32] PEIRCE ALPHA GRAPHS - THE COMPLETENESS OF PROPOSITIONAL LOGIC AND THE FAST SIMPLIFICATION OF TRUTH-FUNCTIONS
WHITE, RB
[J]. TRANSACTIONS OF THE CHARLES S PEIRCE SOCIETY, 1984, 20 (04): : 351 - 361
[33] Wittgenstein, Peirce, and Paradoxes of Mathematical Proof
Koshkin, Sergiy
[J]. ANALYTIC PHILOSOPHY, 2021, 62 (03) : 252 - 274
[34] Two proof systems for Peirce algebras
Schmidt, RA
Orlowska, E
Hustadt, U
[J]. RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2003, 3051 : 238 - 251
[35] A complete proof system for Nested Term Graphs
Blom, S
[J]. HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, 1996, 1074 : 74 - 89
[36] Peirce and Proof: A View from the Trees
Beisecker, Dave
[J]. DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2018, 2018, 10871 : 537 - 548
[37] Logic Beyond Formulas: A Proof System on Graphs
Acclavio, Matteo
Horne, Ross
Strassburger, Lutz
[J]. PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 38 - 52
[38] Computing Truth Values in the Topos of Infinite Peirce's α-Existential Graphs
Tohme, Fernando
Caterina, Gianluca
Gangle, Rocco
[J]. APPLIED MATHEMATICS AND COMPUTATION, 2020, 385
[39] The Iconicity of Peirce's existential Graphs from the Perspective of formal Logic
Dau, Frithjof
[J]. ZEITSCHRIFT FUR SEMIOTIK, 2009, 31 (3-4): : 381 - 395
[40] Extensions of Euler Diagrams in Peirce's Four Manuscripts on Logical Graphs
Pietarinen, Ahti-Veikko
[J]. DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2016, 2016, 9781 : 139 - 154

← 1 2 3 4 5 →