Bulletin of the Section of Logic (May 2024)

Meaning is Use: the Case of Propositional Identity

  • Leonard Kupś,
  • Szymon Chlebowski

DOI
https://doi.org/10.18778/0138-0680.2024.05
Journal volume & issue
Vol. 53, no. 3
pp. 275 – 299

Abstract

Read online

We study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics. We argue that the identity connective is a natural operator to be treated under the elimination rules as basic approach.

Keywords