Davide Fazio è ricercatore a tempo determinato di tipo A (rtd A) in Logica e Filosofia della Scienza.
I suoi interessi di ricerca principali riguardano la semantica algebrica delle logiche non classiche
con attenzione alle applicazioni di metodi algebrici, di teoria degli ordini, e di teoria della dimostrazione, alla fondazione della fisica e all’ epistemologia formale.
Davide Fazio is a fixed-term researcher in Logic and the Philosophy of Science at the University of Teramo. His main research interests concern the algebraic semantics of non-classical logic with an eye to the application of algebraic, order theoretical and proof-theoretical methods in the foundation of physics and formal epistemology.
1) I.Chajda, D.Fazio, and A.Ledda “On the structure theory of Lukasiewicz near semirings”, Logic Journal of the IGPL, 26(1), 2018, pp. 14–28 https://doi.org/10.1093/jigpal/jzx044
2) I. Chajda, D. Fazio, and A. Ledda, “A semiring-like representation of pseudoeffect algebras”, Soft Computing, 23, 2019, pp. 1465–1475 https://doi.org/10.1007/s00500-018-3157-2
3) I. Chajda, and D. Fazio, “On residuation in paraorthomodular lattices”, Soft Computing, 24, 2020, pp. 10295–10304 https://doi.org/10.1007/s00500-020-04699-w
4) I. Chajda, D. Fazio, and A. Ledda, “The generalized orthomodularity property: configura- tions and pastings”, Journal of Logic and Computation, 30(5), 2020, pp. 991–1022 https://doi.org/10.1093/logcom/exaa028
5) D. Fazio, A. Ledda, and F. Paoli, “On Finch’s conditions for the completion of orthomodular posets”, Foundations of Science, 2020 https://doi.org/10.1007/s10699-020-09702-z
6) D. Fazio, A. Ledda, and F. Paoli, “Residuated structures and orthomodular lattices”, Studia Logica, 109, 1201-1239, 2021, https://doi.org/10.1007/s11225-021-09946-1
7) D. Fazio, and M. Pra Baldi, “On a Logico-Algebraic approach to AGM Belief Contraction theory”, Journal of Philosophical logic, 50, pp. 911-938, 2021, https://doi.org/10.1007/s10992-020-09587-0
8) I. Chajda, D. Fazio, H. Länger, A. Ledda, and J.Paseka, “Algebraic properties of paraorthomodular posets”, Logic Journal of the IGPL, 2021. https://doi.org/10.1093/jigpal/jzab024
9) D. Fazio, A. Ledda, F. Paoli, and G. St. John, “A Substructural Gentzen Calculus for Orthomodular Quantum Logic”, Review of Symbolic Logic, 2022 https://doi.org/10.1017/S1755020322000016
10) M. Carrara, D. Fazio, and M. Pra Baldi, “Paraconsistent belief revision: an algebraic investigation”, Erkenntnis, 2022.
11) I. Chajda, K. Emir, D. Fazio, H. Länger, A. Ledda, and J.Paseka, “An algebraic analysis of implication in non-distributive logics”, Journal of Logic and Computation, 2022.
Monografie
13) D. Fazio, A. Ledda, and M. Pra Baldi, Percorsi di Logica (english translation: Paths in Logic), Mimesis, Italy, ISBN: 978-88-5758-630-4
Curatele
14) D. Fazio, A. Ledda, and F. Paoli (Guest Eds.), Algebraic Perspectives on Substructural Logics, Trends in Logic Series (Special Volume), Springer, 2020, ISBN: 978-3-030-52165-3