The following pages link to Paolo Maffezioli (Q300556):
Displayed 15 items.
- Analytic rules for mereology (Q300557) (← links)
- Interpolation in extensions of first-order logic (Q2186699) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- The Church-Fitch knowability paradox in the light of structural proof theory (Q2443327) (← links)
- Hypersequent and Labelled Calculi for Intermediate Logics (Q2851936) (← links)
- Sequents for non-wellfounded mereology (Q4978523) (← links)
- (Q4982512) (← links)
- An intuitionistic logic for preference relations (Q5014047) (← links)
- Equality and Apartness in Bi-intuitinistic Logic (Q5059692) (← links)
- Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate (Q5241408) (← links)
- Bocheński's Formalization of <i>Summa Theologiae</i> (Ia,75,6) Reconsidered (Q6043028) (← links)
- Intuitionistic mereology (Q6067323) (← links)
- Logic in analytic philosophy: a quantitative analysis (Q6088502) (← links)
- Cut elimination for coherent theories in negation normal form (Q6128784) (← links)
- Intuitionistic mereology. II: Overlap and disjointness (Q6166132) (← links)