FAZIO, DAVIDE

FAZIO, DAVIDE  

DIPARTIMENTO DI PEDAGOGIA, PSICOLOGIA, FILOSOFIA  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
Intuitionistic logic is a connexive logic 1-gen-2024 Fazio, Davide; Ledda, Antonio; Paoli, Francesco STUDIA LOGICA -
A substructural Gentzen calculus for orthomodular quantum logic 1-gen-2023 Fazio, Davide; Ledda, Antonio; Paoli, Francesco; John, Gavin St. THE REVIEW OF SYMBOLIC LOGIC -
An algebraic analysis of implication in non-distributive logics 1-gen-2023 Chajda, I.; Emir, K.; Fazio, D; Langer, H.; Ledda, A.; Paseka, J. JOURNAL OF LOGIC AND COMPUTATION -
On Finch's conditions for the completion of orthomodular posets 1-gen-2023 Fazio, Davide; Ledda, Antonio; Paoli, Francesco FOUNDATIONS OF SCIENCE -
Algebraic properties of paraorthomodular posets 1-gen-2022 Chajda, Ivan; Fazio, Davide; Länger, Helmut; Ledda, Antonio; Paseka, Jan LOGIC JOURNAL OF THE IGPL -
Paraconsistent Belief Revision: An Algebraic Investigation 1-gen-2022 Carrara, Massimiliano; Fazio, Davide; Pra Baldi, Michele ERKENNTNIS -
Percorsi di logica 1-gen-2022 Fazio, Davide; Ledda, Antonio; Pra Baldi, Michele - Mimesis
On a Logico-Algebraic Approach to AGM Belief Contraction Theory 1-gen-2021 Fazio, D.; Pra Baldi, M. JOURNAL OF PHILOSOPHICAL LOGIC -
Residuated structures and orthomodular lattices 1-gen-2021 Fazio, Davide; Ledda, Antonio; Paoli, Francesco STUDIA LOGICA -
Algebraic perspectives on substructural logics 1-gen-2020 Fazio, Davide; Ledda, Antonio; Paoli, Francesco - Springer
Editorial Introduction 1-gen-2020 Fazio, Davide; Ledda, Antonio; Paoli, Francesco - Springer
On residuation in paraorthomodular lattices 1-gen-2020 Chajda, I.; Fazio, D. SOFT COMPUTING -
Remarks on the order-theoretical and algebraic properties of quantum structures 21-feb-2020 - - Università degli Studi di Cagliari
The generalized orthomodularity property: configurations and pastings 1-gen-2020 Chajda, Ivan; Fazio, Davide; Ledda, Antonio JOURNAL OF LOGIC AND COMPUTATION -
A semiring-like representation of lattice pseudoeffect algebras 1-gen-2019 Chajda, I.; Fazio, D.; Ledda, A. SOFT COMPUTING -
On the structure theory of Łukasiewicz near semirings 1-gen-2017 Chajda, Ivan; Fazio, Davide; Ledda, Antonio LOGIC JOURNAL OF THE IGPL -