共 50 条
- [36] A Proof-Theoretic Analysis of the Meaning of a Formula in a Combination of Intuitionistic and Classical Propositional Logic LOGIC AND ENGINEERING OF NATURAL LANGUAGE SEMANTICS, LENLS19, 2023, 14213 : 100 - 119
- [38] A Proof-Theoretic Account of the Miners Paradox THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2016, 82 (04): : 351 - 369