A Note on the Practice of Logical Inferentialism
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910368811450368 |
|---|---|
| author | Gheorghiu, Alexander V. Gu, Tao Pym, David J. |
| author_facet | Gheorghiu, Alexander V. Gu, Tao Pym, David J. |
| contents | A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_10546 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Note on the Practice of Logical Inferentialism Gheorghiu, Alexander V. Gu, Tao Pym, David J. Logic in Computer Science A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics. |
| title | A Note on the Practice of Logical Inferentialism |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2403.10546 |