Meaning is Use: the Case of Propositional Identity
| Autor: | Leonard Kupś, Szymon Chlebowski |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2024 |
| Předmět: | |
| Zdroj: | Bulletin of the Section of Logic, Vol 53, Iss 3, Pp 275-299 (2024) |
| Druh dokumentu: | article |
| ISSN: | 0138-0680 2449-836X |
| DOI: | 10.18778/0138-0680.2024.05 |
| Popis: | 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. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|