Paolo Maffezioli

Available identifiers

zbMath Open maffezioli.paoloMaRDI QIDQ300556

List of research outcomes

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
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paolo Maffezioli