共 50 条
- [41] WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS REVIEW OF SYMBOLIC LOGIC, 2016, 9 (03): : 583 - 602
- [43] Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 367 - 385
- [45] Single-Assumption Systems in Proof-Theoretic Semantics Journal of Philosophical Logic, 2022, 51 : 1019 - 1054
- [46] The Definitional View of Atomic Systems in Proof-Theoretic Semantics LOGICA YEARBOOK 2016, 2017, : 185 - 200
- [49] Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality Journal of Philosophical Logic, 2015, 44 : 713 - 727
- [50] INTRODUCTION: BILATERALISMAND PROOF-THEORETIC SEMANTICS (PART II) BULLETIN OF THE SECTION OF LOGIC, 2023, 52 (03): : 267 - 274