Cordes, Moritz, and Friedrich Reinmuth. 2017. “Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction”. Logic and Logical Philosophy 26 (2):163-96. https://doi.org/10.12775/LLP.2017.002.