Paolo Maffezioli
Paolo Maffezioli
Verified email at ub.edu - Homepage
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
332013
Hypersequent and labelled calculi for intermediate logics
A Ciabattoni, P Maffezioli, L Spendier
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
232013
A Gentzen-style analysis of public announcement logic
P Maffezioli, S Negri
Proceedings of the International Workshop on Logic and Philosophy of …, 2010
232010
Modular sequent calculi for classical modal logics
DR Gilbert, P Maffezioli
Studia Logica 103 (1), 175-217, 2015
222015
A proof theoretical perspective on public announcement logic
P Maffezioli, S Negri
Logic and Philosophy of Science 9, 49-59, 2011
152011
Proof theory of epistemic logic of programs
P Maffezioli, A Naibo
Logic and Logical Philosophy 23 (3), 301-328, 2014
82014
Full cut elimination and interpolation for intuitionistic logic with existence predicate
P Maffezioli, E Orlandelli
Wydawnictwo Uniwersytetu Łódzkiego, 2019
52019
Interpolation in extensions of first-order logic
G Gherardi, P Maffezioli, E Orlandelli
Studia Logica, 1-30, 2019
22019
Sulla coerenza della teoria humiana della moneta
P Maffezioli
Rivista di filosofia 110 (1), 83-106, 2019
22019
Analytic rules for mereology
P Maffezioli
Studia Logica 104 (1), 79-114, 2016
22016
An intuitionistic logic for preference relations
P Maffezioli, A Naibo
Logic Journal of the IGPL 27 (4), 434-450, 2019
12019
Logic in analytic philosophy: a quantitative analysis
G Bonino, P Maffezioli, P Tripodi
Synthese, 1-38, 2020
2020
Bocheński's Formalization of Summa Theologiae (Ia,75,6) Reconsidered
P Maffezioli
History and Philosophy of Logic 41 (2), 191-198, 2020
2020
Two Quantitative Researches in the History of Philosophy. Some Down-to-Earth and Haphazard Methodological Reflections
G Bonino, P Maffezioli, P Tripodi
Journal of Interdisciplinary History of Ideas 8 (16), 2019
2019
Intuitionistic mereology
P Maffezioli, AC Varzi
Synthese, 1-26, 2019
2019
Sequents for non-wellfounded mereology
P Maffezioli
Logic and Logical Philosophy 25 (3), 351-369, 2016
2016
Convenzionalismo e costanti logiche
P Maffezioli, A Naibo
2014
Micromotives and Macrobehavior-Thomas Schellling
P Maffezioli
2009
PROOF THEORY OF EPISTEMIC LOGICS
SSD M-FIL
The system can't perform the operation now. Try again later.
Articles 1–19