| Proof-theoretic semantics, paradoxes and the distinction between sense and denotation L Tranchini Journal of Logic and Computation 26 (2), 495-512, 2016 | 49 | 2016 |
| Natural Deduction for Dual-intuitionistic Logic L Tranchini Studia Logica 100 (3), 631-648, 2012 | 33 | 2012 |
| Ekman’s paradox P Schroeder-Heister, L Tranchini Notre Dame Journal of Formal Logic 58 (4), 567-581, 2017 | 32 | 2017 |
| Proof-theoretic harmony: Towards an intensional account L Tranchini Synthese 198 (5), 1145-1176, 2021 | 25 | 2021 |
| The naturality of natural deduction L Tranchini, P Pistone, M Petrolo Studia Logica 107 (1), 195-231, 2019 | 22 | 2019 |
| (I can’t get no) antisatisfaction P Cobreros, E La Rosa, L Tranchini Synthese, 1-15, 2020 | 19 | 2020 |
| How to ekman a crabbé-tennant P Schroeder-Heister, L Tranchini Synthese 199 (Suppl 3), 617-639, 2021 | 17 | 2021 |
| Proof, meaning and paradox: Some remarks L Tranchini Topoi 38 (3), 591-603, 2019 | 15 | 2019 |
| Higher-level inferences in the strong-Kleene setting: A proof-theoretic approach P Cobreros, E La Rosa, L Tranchini Journal of Philosophical Logic, 1-36, 2022 | 14 | 2022 |
| The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives P Pistone, L Tranchini, M Petrolo Studia Logica, 1-48, 2021 | 14* | 2021 |
| Harmonising harmony L Tranchini The Review of Symbolic Logic 8 (3), 411-423, 2015 | 13 | 2015 |
| Stabilizing Quantum Disjunction L Tranchini Journal of Philosophical Logic 47 (6), 1029-1047, 2018 | 10 | 2018 |
| Natural deduction for bi-intuitionistic logic L Tranchini Journal of Applied Logic 25, S72-S96, 2017 | 10 | 2017 |
| Dag Prawitz L Tranchini APhEx, 2014 | 9 | 2014 |
| Truth from a proof-theoretic perspective L Tranchini Topoi 31, 47-57, 2012 | 9 | 2012 |
| Refutation: a proof-theoretic account L Tranchini First Pisa Colloquium in Logic, Language and Epistemology, 133-150, 2010 | 7 | 2010 |
| Supervaluationism: Truth, value and degree functionality P Cobreros, L Tranchini Thought: A Journal of Philosophy 3 (2), 136-144, 2014 | 6 | 2014 |
| The Yoneda Reduction of Polymorphic Types P Pistone, L Tranchini 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021 | 5 | 2021 |
| Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics L Tranchini Springer Nature, 2024 | 4 | 2024 |
| Intensional harmony as isomorphism P Pistone, L Tranchini Peter Schroeder-Heister on Proof-Theoretic Semantics, 315-337, 2024 | 4 | 2024 |
Paolo PistoneDirección de correo verificada de uniroma3.it
