A Note on the Practice of Logical Inferentialism
arXiv:2403.10546
Abstract
A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics.
Submitted to 'Logic and Philosophy: Historical and Contemporary Issues Conference'