Paolo Maffezioli

Available identifiers

Publication	Date of Publication	Type
Cut elimination for coherent theories in negation normal form	2024-04-16	Paper
Intuitionistic mereology	2023-12-14	Paper
Logic in analytic philosophy: a quantitative analysis	2023-12-14	Paper
Zeno of Sidon \textit{vindicatus}: a mereological analysis of the bisection of the circle	2023-12-12	Paper
Intuitionistic mereology. II: Overlap and disjointness	2023-08-02	Paper
Bocheński's Formalization of Summa Theologiae (Ia,75,6) Reconsidered	2023-05-04	Paper
Equality and Apartness in Bi-intuitinistic Logic	2023-01-16	Paper
An intuitionistic logic for preference relations	2021-12-03	Paper
Interpolation in extensions of first-order logic	2020-06-09	Paper
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate	2019-10-31	Paper
Sequents for non-wellfounded mereology	2017-08-11	Paper
Analytic rules for mereology	2016-06-28	Paper
Modular sequent calculi for classical modal logics	2015-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q4982512	2015-04-09	Paper
The Church-Fitch knowability paradox in the light of structural proof theory	2014-04-07	Paper
Hypersequent and Labelled Calculi for Intermediate Logics	2013-10-04	Paper

This page was built for person: Paolo Maffezioli