PAOLO
MAFFEZIOLI
Investigador contratado
Publicaciones (21) Publicaciones de PAOLO MAFFEZIOLI
2024
-
Cut elimination for coherent theories in negation normal form
Archive for Mathematical Logic
2023
-
Intuitionistic Mereology II: Overlap and Disjointness
Journal of Philosophical Logic, Vol. 52, Núm. 4, pp. 1197-1233
-
The Arithmetical "dictum"
History and Philosophy of Logic, Vol. 44, Núm. 4, pp. 373-394
2022
-
Hume on the Monetary Fallacy of Monotonic Counterfactuals
Axiomathes, Vol. 32, Núm. S2, pp. 593-606
-
La critica di Zenone di Sidone agli «Elementi» di Euclide : Un dibattito antico sull’unicità
Rivista di Filosofia, Vol. 113, Núm. 1, pp. 45-76
-
When philosophy (of science) meets formal methods: a citation analysis of early approaches between research fields
Synthese, Vol. 200, Núm. 2
-
Zeno of Sidon vindicatus: a mereological analysis of the bisection of the circle
Logic and Logical Philosophy, pp. 1-20
2021
-
Equality and Apartness in Bi-intuitinistic Logic
Logical Investigations, Vol. 27, Núm. 1, pp. 82-106
2020
-
Bocheński's Formalization of "Summa Theologiae" (Ia,75,6) Reconsidered
History and Philosophy of Logic, Vol. 41, Núm. 2, pp. 191-198
-
Logic in analytic philosophy: a quantitative analysis
Synthese, Vol. 198, Núm. 11, pp. 10991-11028
2019
-
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
Bulletin of the Section of Logic, Vol. 48, Núm. 2, pp. 137-158
-
Interpolation in Extensions of First-Order Logic
Studia Logica, Vol. 108, Núm. 3, pp. 619-648
-
Intuitionistic mereology
Synthese, Vol. 198, Núm. S18, pp. 4277-4302
-
On the consistency of Hume’s monetary theory
Rivista di Filosofia, Vol. 110, Núm. 1, pp. 83-106
-
Two Quantitative Researches in the History of Philosophy Some Down-to-Earth and Haphazard Methodological Reflections
Journal of Interdisciplinary History of Ideas, Vol. 8, Núm. 16, pp. 7:1-7:22
2016
-
Analytic Rules for Mereology
Studia Logica, Vol. 104, Núm. 1, pp. 79-114
-
Sequents for non-wellfounded mereology
Logic and Logical Philosophy, Vol. 25, Núm. 3, pp. 351-369
2015
-
Modular Sequent Calculi for Classical Modal Logics
Studia Logica, Vol. 103, Núm. 1, pp. 175-217
2014
-
Proof theory of epistemic logic of programs
Logic and Logical Philosophy, Vol. 23, Núm. 3, pp. 301-328
2013
-
Hypersequent and labelled calculi for intermediate logics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)