Hypersequent and Labelled Calculi for Intermediate Logics. - Agata Ciabattoni; Paolo Maffezioli; Lara Spendier (TABLEAUX, 2013)

The Church-Fitch knowability paradox in the light of structural proof theory. - Paolo Maffezioli; Alberto Naibo; Sara Negri (Synth., 2013)

Modular Sequent Calculi for Classical Modal Logics. - David R. Gilbert; Paolo Maffezioli (Stud Logica, 2015)

Analytic Rules for Mereology. - Paolo Maffezioli (Stud Logica, 2016)

An intuitionistic logic for preference relations. - Paolo Maffezioli; Alberto Naibo (Log. J. IGPL, 2019)

Interpolation in Extensions of First-Order Logic. - Guido Gherardi; Paolo Maffezioli; Eugenio Orlandelli (Stud Logica, 2020)

Logic in analytic philosophy: a quantitative analysis. - Guido Bonino; Paolo Maffezioli; Paolo Tripodi (Synth., 2021)

Intuitionistic mereology. - Paolo Maffezioli; Achille C. Varzi (Synth., 2021)

Intuitionistic Mereology II: Overlap and Disjointness. - Paolo Maffezioli; Achille C. Varzi (J. Philos. Log., 2023)

Cut elimination for coherent theories in negation normal form. - Paolo Maffezioli (Arch. Math. Log., 2024)