Categorical Harmony and Paradoxes in Proof-Theoretic Semantics

Yoshihiro Maruyama. Categorical Harmony and Paradoxes in Proof-Theoretic Semantics. In Thomas Piecha, Peter Schroeder-Heister, editors, Advances in Proof-Theoretic Semantics. Volume 43 of Trends in Logic, pages 95-114, Springer, 2016. [doi]

Abstract

Abstract is missing.