Francesco A. Genco

Available identifiers

zbMath Open genco.francesco-aMaRDI QIDQ1989343

List of research outcomes

Publication	Date of Publication	Type
Grounding Operators: Transitivity and Trees, Logicality and Balance	2023-04-05	Paper
Defining formal explanation in classical logic by substructural derivability	2022-03-22	Paper
Formal explanations as logical derivations	2022-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q3384877	2021-12-17	Paper
Grounding, quantifiers, and paradoxes	2021-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q5144622	2021-01-19	Paper
On the concurrent computational content of intermediate logics	2020-04-21	Paper
Hypersequents and Systems of Rules	2018-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4636035	2018-04-23	Paper
Disjunctive Axioms and Concurrent $\lambda$-Calculi: a Curry-Howard Approach	2018-02-03	Paper
Mīmāṃsā Deontic Logic: Proof Theory and Applications	2015-12-11	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: Francesco A. Genco