The Church–Fitch knowability paradox in the light of structural proof theory P Maffezioli, A Naibo, S Negri Synthese 190 (14), 2677-2716, 2013 | 44 | 2013 |
Hypersequent and labelled calculi for intermediate logics A Ciabattoni, P Maffezioli, L Spendier Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 2013 | 30 | 2013 |
A Gentzen-style analysis of public announcement logic P Maffezioli, S Negri Proceedings of the International Workshop on Logic and Philosophy of …, 2010 | 26 | 2010 |
Modular sequent calculi for classical modal logics DR Gilbert, P Maffezioli Studia Logica 103, 175-217, 2015 | 25 | 2015 |
A proof theoretical perspective on public announcement logic P Maffezioli, S Negri Logic and Philosophy of Science 9, 49-59, 2011 | 19 | 2011 |
Logic in analytic philosophy: A quantitative analysis G Bonino, P Maffezioli, P Tripodi Synthese 198, 10991-11028, 2021 | 14 | 2021 |
Full cut elimination and interpolation for intuitionistic logic with existence predicate P Maffezioli, E Orlandelli Wydawnictwo Uniwersytetu Łódzkiego, 2019 | 9 | 2019 |
Proof theory of epistemic logic of programs P Maffezioli, A Naibo Logic and Logical Philosophy 23 (3), 301–328-301–328, 2014 | 9 | 2014 |
When philosophy (of science) meets formal methods: a citation analysis of early approaches between research fields G Bonino, P Maffezioli, E Petrovich, P Tripodi Synthese 200 (2), 177, 2022 | 7 | 2022 |
Interpolation in extensions of first-order logic G Gherardi, P Maffezioli, E Orlandelli Studia Logica 108, 619-648, 2020 | 5 | 2020 |
Intuitionistic mereology P Maffezioli, AC Varzi Synthese 198 (Suppl 18), 4277-4302, 2021 | 4 | 2021 |
Analytic rules for mereology P Maffezioli Studia Logica 104, 79-114, 2016 | 3 | 2016 |
Two quantitative researches in the history of philosophy G Bonino, P Maffezioli, P Tripodi Journal of Interdisciplinary History of Ideas 8, 16, 2019 | 2 | 2019 |
Sulla coerenza della teoria humiana della moneta P Maffezioli Rivista di filosofia 110 (1), 83-106, 2019 | 2 | 2019 |
La critica di Zenone di Sidone agli «Elementi» di Euclide Un dibattito antico sull’unicità P Maffezioli Rivista di filosofia 113 (1), 45-76, 2022 | 1 | 2022 |
An intuitionistic logic for preference relations P Maffezioli, A Naibo Logic Journal of the IGPL 27 (4), 434-450, 2019 | 1 | 2019 |
Cut elimination for coherent theories in negation normal form P Maffezioli Archive for Mathematical Logic, 1-19, 2024 | | 2024 |
The Arithmetical dictum P Maffezioli, R Zanichelli History and Philosophy of Logic 44 (4), 373-394, 2023 | | 2023 |
Intuitionistic Mereology II: Overlap and Disjointness P Maffezioli, AC Varzi Journal of Philosophical Logic 52 (4), 1197-1233, 2023 | | 2023 |
Zeno of Sidon vindicatus: A Mereological Analysis of the Bisection of the Circle P Maffezioli Logic and Logical Philosophy 32 (4), 671-690, 2023 | | 2023 |