The following pages link to Francesco A. Genco (Q1989343):
Displaying 9 items.
- On the concurrent computational content of intermediate logics (Q1989344) (← links)
- Grounding, quantifiers, and paradoxes (Q2056222) (← links)
- Defining formal explanation in classical logic by substructural derivability (Q2117787) (← links)
- (Q3384877) (← links)
- Mīmāṃsā Deontic Logic: Proof Theory and Applications (Q3455779) (← links)
- Hypersequents and Systems of Rules (Q4579958) (← links)
- (Q4636035) (← links)
- (Q5144622) (← links)
- Formal explanations as logical derivations (Q5862002) (← links)
