Paolo Maffezioli

According to our database, Paolo Maffezioli authored at least 10 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Cut elimination for coherent theories in negation normal form.

Paolo Maffezioli

Arch. Math. Log., May, 2024

2023

Intuitionistic Mereology II: Overlap and Disjointness.

Paolo Maffezioli, Achille C. Varzi

J. Philos. Log., August, 2023

2021

Intuitionistic mereology.

Paolo Maffezioli, Achille C. Varzi

Synth., 2021

Logic in analytic philosophy: a quantitative analysis.

Guido Bonino, Paolo Maffezioli, Paolo Tripodi

Synth., 2021

2020

Interpolation in Extensions of First-Order Logic.

Guido Gherardi, Paolo Maffezioli, Eugenio Orlandelli

Stud Logica, 2020

2019

An intuitionistic logic for preference relations.

Paolo Maffezioli, Alberto Naibo

Log. J. IGPL, 2019

2016

Analytic Rules for Mereology.

Paolo Maffezioli

Stud Logica, 2016

2015

Modular Sequent Calculi for Classical Modal Logics.

David R. Gilbert, Paolo Maffezioli

Stud Logica, 2015

2013

The Church-Fitch knowability paradox in the light of structural proof theory.

Paolo Maffezioli, Alberto Naibo, Sara Negri

Synth., 2013

Hypersequent and Labelled Calculi for Intermediate Logics.

Agata Ciabattoni, Paolo Maffezioli, Lara Spendier

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013