FAZIO, DAVIDE
FAZIO, DAVIDE
DIPARTIMENTO DI PEDAGOGIA, PSICOLOGIA, FILOSOFIA
Intuitionistic logic is a connexive logic
2024-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
A substructural Gentzen calculus for orthomodular quantum logic
2023-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco; John, Gavin St.
An algebraic analysis of implication in non-distributive logics
2023-01-01 Chajda, I.; Emir, K.; Fazio, D; Langer, H.; Ledda, A.; Paseka, J.
Intuitionistic logic as a connexive logic
2023-01-01 Fazio, D.; Ledda, A.; Paoli, F.
On Finch's conditions for the completion of orthomodular posets
2023-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
Algebraic properties of paraorthomodular posets
2022-01-01 Chajda, Ivan; Fazio, Davide; Länger, Helmut; Ledda, Antonio; Paseka, Jan
Paraconsistent Belief Revision: An Algebraic Investigation
2022-01-01 Carrara, Massimiliano; Fazio, Davide; Pra Baldi, Michele
Percorsi di logica
2022-01-01 Fazio, Davide; Ledda, Antonio; Pra Baldi, Michele
On a Logico-Algebraic Approach to AGM Belief Contraction Theory
2021-01-01 Fazio, D.; Pra Baldi, M.
Residuated structures and orthomodular lattices
2021-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
Algebraic perspectives on substructural logics
2020-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
Editorial Introduction
2020-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
On residuation in paraorthomodular lattices
2020-01-01 Chajda, I.; Fazio, D.
Remarks on the order-theoretical and algebraic properties of quantum structures
2020-02-21
The generalized orthomodularity property: configurations and pastings
2020-01-01 Chajda, Ivan; Fazio, Davide; Ledda, Antonio
A semiring-like representation of lattice pseudoeffect algebras
2019-01-01 Chajda, I.; Fazio, D.; Ledda, A.
On the structure theory of Łukasiewicz near semirings
2017-01-01 Chajda, Ivan; Fazio, Davide; Ledda, Antonio