Paolo Maffezioli

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Cut elimination for coherent theories in negation normal form Archive for Mathematical Logic	2024-04-16	Paper
Intuitionistic mereology Synthese	2023-12-14	Paper
Logic in analytic philosophy: a quantitative analysis Synthese	2023-12-14	Paper
Zeno of Sidon \textit{vindicatus}: a mereological analysis of the bisection of the circle Logic and Logical Philosophy	2023-12-12	Paper
Intuitionistic mereology. II: Overlap and disjointness Journal of Philosophical Logic	2023-08-02	Paper
Bocheński's Formalization of Summa Theologiae (Ia,75,6) Reconsidered History and Philosophy of Logic	2023-05-04	Paper
Equality and Apartness in Bi-intuitinistic Logic Logical Investigations	2023-01-16	Paper
An intuitionistic logic for preference relations Logic Journal of the IGPL	2021-12-03	Paper
Interpolation in extensions of first-order logic Studia Logica	2020-06-09	Paper
Full cut elimination and interpolation for intuitionistic logic with existence predicate Bulletin of the Section of Logic	2019-10-31	Paper
Sequents for non-wellfounded mereology Logic and Logical Philosophy	2017-08-11	Paper
Analytic rules for mereology Studia Logica	2016-06-28	Paper
Modular sequent calculi for classical modal logics Studia Logica	2015-06-18	Paper
Proof theory of epistemic logic of programs	2015-04-09	Paper
The Church-Fitch knowability paradox in the light of structural proof theory Synthese	2014-04-07	Paper
Hypersequent and labelled calculi for intermediate logics Lecture Notes in Computer Science	2013-10-04	Paper

Research outcomes over time

This page was built for person: Paolo Maffezioli