A graphical deep inference system for intuitionistic logic

Research output: Contribution to journalArticle

6 Citations (Scopus)

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’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.

Original languageEnglish
Pages (from-to)73-114
Number of pages42
JournalLogique et Analyse
Volume245
DOIs
Publication statusPublished - Jan 1 2019

Keywords

  • Charles Peirce
  • Deep inference
  • Graphical logic
  • Intuitionistic logic

ASJC Scopus subject areas

  • Philosophy

Fingerprint Dive into the research topics of 'A graphical deep inference system for intuitionistic logic'. Together they form a unique fingerprint.

  • Cite this