Francesco A. Genco

MaRDI QIDQ1989343zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Grounding operators: transitivity and trees, logicality and balance Journal of Applied Non-Classical Logics	2024-12-09	Paper
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 Journal of Applied Non-Classical Logics	2022-03-03	Paper
Classical proofs as parallel programs (available as arXiv preprint)	2021-12-17	Paper
Classical proofs as parallel programs	2021-12-17	Paper
Grounding, quantifiers, and paradoxes Journal of Philosophical Logic	2021-12-02	Paper
Gödel logic. From natural deduction to parallel computation (available as arXiv preprint)	2021-01-19	Paper
Gödel logic. From natural deduction to parallel computation	2021-01-19	Paper
On the concurrent computational content of intermediate logics Theoretical Computer Science	2020-04-21	Paper
Hypersequents and Systems of Rules ACM Transactions on Computational Logic	2018-08-10	Paper
Embedding formalisms: hypersequents and two-level systems of rules	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 Lecture Notes in Computer Science	2015-12-11	Paper

Research outcomes over time

This page was built for person: Francesco A. Genco