Meaning is Use: the Case of Propositional Identity
Meaning is Use: the Case of Propositional Identity
Author(s): Leonard Kupś, Szymon ChlebowskiSubject(s): Philosophy, Logic
Published by: Wydawnictwo Uniwersytetu Łódzkiego
Keywords: intuitionistic Logic; non-Fregean logic; proof-theoretic semantics
Summary/Abstract: 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.
Journal: Bulletin of the Section of Logic
- Issue Year: 53/2024
- Issue No: 3
- Page Range: 275-299
- Page Count: 25
- Language: English
