Paolo Maffezioli

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 8

Top Topics

Cut Elimination

Sequent Calculi

Rough Mereology

Top Venues

Arch. Math. Log.

Publications

Paolo Maffezioli
Cut elimination for coherent theories in negation normal form. Arch. Math. Log. 63 (3-4) (2024)
Paolo Maffezioli, Achille C. Varzi
Intuitionistic Mereology II: Overlap and Disjointness. J. Philos. Log. 52 (4) (2023)
Paolo Maffezioli, Achille C. Varzi
Intuitionistic mereology. Synth. 198 (18-S) (2021)
Guido Bonino, Paolo Maffezioli, Paolo Tripodi
Logic in analytic philosophy: a quantitative analysis. Synth. 198 (11) (2021)
Guido Gherardi, Paolo Maffezioli, Eugenio Orlandelli
Interpolation in Extensions of First-Order Logic. Stud Logica 108 (3) (2020)
Paolo Maffezioli, Alberto Naibo
An intuitionistic logic for preference relations. Log. J. IGPL 27 (4) (2019)
Paolo Maffezioli
Analytic Rules for Mereology. Stud Logica 104 (1) (2016)
David R. Gilbert, Paolo Maffezioli
Modular Sequent Calculi for Classical Modal Logics. Stud Logica 103 (1) (2015)
Agata Ciabattoni, Paolo Maffezioli, Lara Spendier
Hypersequent and Labelled Calculi for Intermediate Logics. TABLEAUX (2013)
Paolo Maffezioli, Alberto Naibo, Sara Negri
The Church-Fitch knowability paradox in the light of structural proof theory. Synth. 190 (14) (2013)