A Note on the Practice of Logical Inferentialism
Logic in Computer Science
2024-03-19 v1
Abstract
A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics.
Keywords
Cite
@article{arxiv.2403.10546,
title = {A Note on the Practice of Logical Inferentialism},
author = {Alexander V. Gheorghiu and Tao Gu and David J. Pym},
journal= {arXiv preprint arXiv:2403.10546},
year = {2024}
}
Comments
Submitted to 'Logic and Philosophy: Historical and Contemporary Issues Conference'