Follow
Paolo Maffezioli
Title
Cited by
Cited by
Year
The Church–Fitch knowability paradox in the light of structural proof theory
P Maffezioli, A Naibo, S Negri
Synthese 190 (14), 2677-2716, 2013
432013
Hypersequent and labelled calculi for intermediate logics
A Ciabattoni, P Maffezioli, L Spendier
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 2013
302013
A Gentzen-style analysis of public announcement logic
P Maffezioli, S Negri
Proceedings of the International Workshop on Logic and Philosophy of …, 2010
262010
Modular sequent calculi for classical modal logics
DR Gilbert, P Maffezioli
Studia Logica 103, 175-217, 2015
252015
A proof theoretical perspective on public announcement logic
P Maffezioli, S Negri
Logic and Philosophy of Science 9, 49-59, 2011
192011
Logic in analytic philosophy: A quantitative analysis
G Bonino, P Maffezioli, P Tripodi
Synthese 198, 10991-11028, 2021
102021
Full cut elimination and interpolation for intuitionistic logic with existence predicate
P Maffezioli, E Orlandelli
Wydawnictwo Uniwersytetu Łódzkiego, 2019
92019
Proof theory of epistemic logic of programs
P Maffezioli, A Naibo
Logic and Logical Philosophy 23 (3), 301–328-301–328, 2014
92014
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
62022
Interpolation in extensions of first-order logic
G Gherardi, P Maffezioli, E Orlandelli
Studia Logica 108, 619-648, 2020
52020
Intuitionistic mereology
P Maffezioli, AC Varzi
Synthese 198 (Suppl 18), 4277-4302, 2021
32021
Analytic rules for mereology
P Maffezioli
Studia Logica 104, 79-114, 2016
32016
Sulla coerenza della teoria humiana della moneta
P Maffezioli
Rivista di filosofia 110 (1), 83-106, 2019
22019
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
12022
An intuitionistic logic for preference relations
P Maffezioli, A Naibo
Logic Journal of the IGPL 27 (4), 434-450, 2019
12019
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
Hume on the Monetary Fallacy of Monotonic Counterfactuals
P Maffezioli
Axiomathes 32 (Suppl 2), 593-606, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20