GENCO, FRANCESCO ANTONIO
GENCO, FRANCESCO ANTONIO
Dipartimento di Filosofia Piero Martinetti
BRIOxAlkemy: A Bias detecting tool
2024 G. Coraglia, F.A. D'Asaro, F.A. Genco, D. Giannuzzi, D. Posillipo, G. Primiero, C. Quaggio
Grounding operators: transitivity and trees, logicality and balance
2024 F.A. Genco
Low-Level Analysis of Trust in Probabilistic and Opaque Programs
2023 F.A. Genco
Conceptual (and hence mathematical) explanation, conceptual grounding and proof
2023 F.A. Genco, F. Poggiolesi
Formal explanations as logical derivations
2021 F.A. Genco
Defining Formal Explanation in Classical Logic by Substructural Derivability
2021 F.A. Genco, F. Poggiolesi
Grounding, Quantifiers, and Paradoxes
2021 F.A. Genco, F. Poggiolesi, L. Rossi
On the concurrent computational content of intermediate logics
2020 F. Aschieri, A. Ciabattoni, F.A. Genco
Par means parallel: multiplicative linear logic proofs as concurrent functional programs
2020 F. Aschieri, F.A. Genco
Classical Proofs as Parallel Programs
2018 F. Aschieri, A. Ciabattoni, F.A. Genco
Hypersequents and Systems of Rules
2018 A. Ciabattoni, F.A. Genco
Understanding Prescriptive Texts: Rules and Logic as Elaborated by the Mīmāṃsā School
2017 E. Freschi, A. Ciabattoni, F.A. Genco, B. Lellmann
Gödel logic: From natural deduction to parallel computation
2017 F. Aschieri, A. Ciabattoni, F.A. Genco
Embedding formalisms: hypersequents and two-level systems of rules
2016 A. Ciabattoni, F.A. Genco
Mīmāṃsā Deontic Logic: Proof Theory and Applications [M(i)over-barm(a)over-barms(a)over-bar Deontic Logic: Proof Theory and Applications]
2015 A. Ciabattoni, E. Freschi, F.A. Genco, B. Lellmann