A Note on the Practice of Logical Inferentialism
Alexander V. Gheorghiu, Tao Gu, David J. Pym
Abstract
A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics.