Gödel logic: From natural deduction to parallel computation F Aschieri, A Ciabattoni, FA Genco 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 24 | 2017 |
Mīmāṃsā deontic logic: Proof theory and applications A Ciabattoni, E Freschi, FA Genco, B Lellmann International Conference on Automated Reasoning with Analytic Tableaux and …, 2015 | 21 | 2015 |
Understanding prescriptive texts: Rules and logic as elaborated by the Mīmāṃsā school E Freschi, A Ciabattoni, FA Genco, B Lellmann Journal of World Philosophies 2 (1), 2017 | 16 | 2017 |
Conceptual (and hence mathematical) explanation, conceptual grounding and proof F Poggiolesi, F Genco Erkenntnis 88 (4), 1481-1507, 2023 | 15 | 2023 |
Par means parallel: multiplicative linear logic proofs as concurrent functional programs F Aschieri, FA Genco Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019 | 12 | 2019 |
Classical proofs as parallel programs F Aschieri, A Ciabattoni, FA Genco arXiv preprint arXiv:1809.03094, 2018 | 11 | 2018 |
Hypersequents and systems of rules: Embeddings and applications A Ciabattoni, FA Genco ACM Transactions on Computational Logic (TOCL) 19 (2), 1-27, 2018 | 11 | 2018 |
Embedding formalisms: hypersequents and two-level systems of rule. A Ciabattoni, FA Genco Advances in Modal Logic 11, 197-216, 2016 | 7 | 2016 |
Formal explanations as logical derivations FA Genco Journal of Applied Non-Classical Logics 31 (3-4), 279-342, 2021 | 6 | 2021 |
Grounding, quantifiers, and paradoxes FA Genco, F Poggiolesi, L Rossi Journal of Philosophical logic 50 (6), 1417-1448, 2021 | 5 | 2021 |
Checking trustworthiness of probabilistic computations in a typed natural deduction system FA D'Asaro, F Genco, G Primiero arXiv preprint arXiv:2206.12934, 2022 | 3 | 2022 |
On the concurrent computational content of intermediate logics F Aschieri, A Ciabattoni, FA Genco Theoretical Computer Science 813, 375-409, 2020 | 3 | 2020 |
A typed lambda-calculus for establishing trust in probabilistic programs FA Genco, G Primiero arXiv preprint arXiv:2302.00958, 2023 | 2 | 2023 |
What stands between grounding rules and logical rules is the excluded middle FA Genco The review of symbolic logic, 2023 | 2 | 2023 |
Curry-Howard Correspondance for Goedel Logic: from Natural Deduction to Parallel Computation F Aschieri, A Ciabattoni, FA Genco arXiv preprint arXiv:1607.05120, 2016 | 2 | 2016 |
Defining formal explanation in classical logic by substructural derivability FA Genco, F Poggiolesi Connecting with Computability: 17th Conference on Computability in Europe …, 2021 | 1 | 2021 |
Substructural logics: semantics, proof theory, and applications. report on the second SYSMICS workshop A Ciabattoni, FA Genco, R Ramanayake ACM SIGLOG News 5 (2), 58-60, 2018 | 1 | 2018 |
Mīmāṃsā Deontic Logic: Proof Theory and Applications B Lellmann, A Ciabattoni, E Freschi, F Genco Lecture Notes in Computer Science, 323-338, 2015 | 1 | 2015 |
Grounding operators: transitivity and trees, logicality and balance FA Genco Journal of Applied Non-Classical Logics, 1-40, 2024 | | 2024 |
A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation FA Genco arXiv preprint arXiv:2406.17082, 2024 | | 2024 |