Publicaciones (21) Publicaciones de PAOLO MAFFEZIOLI

2024

  1. Cut elimination for coherent theories in negation normal form

    Archive for Mathematical Logic

2023

  1. Intuitionistic Mereology II: Overlap and Disjointness

    Journal of Philosophical Logic, Vol. 52, Núm. 4, pp. 1197-1233

  2. The Arithmetical "dictum"

    History and Philosophy of Logic, Vol. 44, Núm. 4, pp. 373-394

2022

  1. Hume on the Monetary Fallacy of Monotonic Counterfactuals

    Axiomathes, Vol. 32, Núm. S2, pp. 593-606

  2. 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

  3. When philosophy (of science) meets formal methods: a citation analysis of early approaches between research fields

    Synthese, Vol. 200, Núm. 2

  4. Zeno of Sidon vindicatus: a mereological analysis of the bisection of the circle

    Logic and Logical Philosophy, pp. 1-20

2021

  1. Equality and Apartness in Bi-intuitinistic Logic

    Logical Investigations, Vol. 27, Núm. 1, pp. 82-106

2020

  1. Bocheński's Formalization of "Summa Theologiae" (Ia,75,6) Reconsidered

    History and Philosophy of Logic, Vol. 41, Núm. 2, pp. 191-198

  2. Logic in analytic philosophy: a quantitative analysis

    Synthese, Vol. 198, Núm. 11, pp. 10991-11028

2019

  1. 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

  2. Interpolation in Extensions of First-Order Logic

    Studia Logica, Vol. 108, Núm. 3, pp. 619-648

  3. Intuitionistic mereology

    Synthese, Vol. 198, Núm. S18, pp. 4277-4302

  4. On the consistency of Hume’s monetary theory

    Rivista di Filosofia, Vol. 110, Núm. 1, pp. 83-106

  5. 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

  1. Analytic Rules for Mereology

    Studia Logica, Vol. 104, Núm. 1, pp. 79-114

  2. Sequents for non-wellfounded mereology

    Logic and Logical Philosophy, Vol. 25, Núm. 3, pp. 351-369

2015

  1. Modular Sequent Calculi for Classical Modal Logics

    Studia Logica, Vol. 103, Núm. 1, pp. 175-217

2014

  1. Proof theory of epistemic logic of programs

    Logic and Logical Philosophy, Vol. 23, Núm. 3, pp. 301-328

2013

  1. Hypersequent and labelled calculi for intermediate logics

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)