Masanobu Toyooka. A Proof-Theoretic Analysis of the Meaning of a Formula in a Combination of Intuitionistic and Classical Propositional Logic. In Daisuke Bekki, Koji Mineshima, Eric McCready, editors, Logic and Engineering of Natural Language Semantics - 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers. Volume 14213 of Lecture Notes in Computer Science, pages 100-119, Springer, 2022. [doi]
Abstract is missing.