A Note on the Practice of Logical Inferentialism

A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics.

Saved in:
Bibliographic Details
Main Authors Gheorghiu, Alexander V, Gu, Tao, Pym, David J
Format Journal Article
LanguageEnglish
Published 11.03.2024
Subjects
Computer Science - Logic in Computer Science
Online AccessGet full text

Cover

More Information
Summary:A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics.
DOI:10.48550/arxiv.2403.10546