@article{11f21faafdb8404eb5c8a44166926bd3,
title = "A Graphical Deep Inference System for Intuitionistic Logic",
abstract = "A graphical approach to intuitionistic propositional logic is presented. The system GrIn is a deep inference system and it is formulated in terms of Peirce{\textquoteright}s existential graphs. GrIn is shown to be sound and complete with respect to the class of all Heyting algebras. Moreover, the system GrIn is shown to be equivalent to the Gentzen sequent calculus G3ip via translations between intuitionistic graphs and intuitionistic formulas. We also discuss the intuitionistic interpretation of logical constants proposed by this graphical approach.",
keywords = "Charles Peirce, Deep inference, Graphical logic, Intuitionistic logic",
author = "Ma Minghui and Pietarinen, {Ahti Veikko}",
note = "Funding Information: The work of the first author is supported by the Chinese National Foundation for Social Sciences and Humanities (grant no. 16CZX049). The work of the second author is supported by the Academy of Finland (project 1270335), the Estonian Research Council (project PUT 1305) (Principle Investigator A.-V. Pietarinen), the Social Policy Grant of Nazarbayev University (2018–2019) and the Russian Academic Excellence Project “5-100”. We thank the reviewers of the present journal for helpful comments, suggestions and criticism that led to the revision of Theorem 1, among several other things. Publisher Copyright: {\textcopyright} 2019 by Peeters Publishers. All rights reserved.",
year = "2019",
month = jan,
doi = "10.2143/LEA.245.0.3285706",
language = "English",
volume = "245",
pages = "73--114",
journal = "Logique et Analyse",
issn = "0024-5836",
publisher = "Nationaal Centrum voor Navorsingen in de Logica (Centre National Belge de Recherche de Logique)",
}