A Note on the Practice of Logical Inferentialism

Authors :: Gheorghiu, Alexander V.
Gu, Tao
Pym, David J.
Publication Year :: 2024
Abstract: A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics.<br />Comment: Submitted to 'Logic and Philosophy: Historical and Contemporary Issues Conference'