Davide Fazio

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 11

Top Topics

Intuitionistic Logic

Theoretical Basis

Top Venues

J. Log. Comput.

Publications

Davide Fazio, Antonio Ledda, Francesco Paoli
Intuitionistic Logic is a Connexive Logic. Stud Logica 112 (1-2) (2024)
Davide Fazio, Sergei P. Odintsov
An Algebraic Investigation of the Connexive Logic sfC. Stud Logica 112 (1-2) (2024)
Davide Fazio, Antonio Ledda, Francesco Paoli, Gavin St. John
A Substructural Gentzen Calculus for Orthomodular quantum Logic. Rev. Symb. Log. 16 (4) (2023)
Ivan Chajda, Kadir Emir, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka
An algebraic analysis of implication in non-distributive logics. J. Log. Comput. 33 (1) (2023)
Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka
Algebraic Properties of Paraorthomodular Posets. Log. J. IGPL 30 (5) (2022)
Davide Fazio, Michele Pra Baldi
On a Logico-Algebraic Approach to AGM Belief Contraction Theory. J. Philos. Log. 50 (5) (2021)
Davide Fazio, Antonio Ledda, Francesco Paoli
Residuated Structures and Orthomodular Lattices. Stud Logica 109 (6) (2021)
Ivan Chajda, Davide Fazio, Antonio Ledda
The generalized orthomodularity property: configurations and pastings. J. Log. Comput. 30 (5) (2020)
Ivan Chajda, Davide Fazio
On residuation in paraorthomodular lattices. Soft Comput. 24 (14) (2020)
Ivan Chajda, Davide Fazio, Antonio Ledda
A semiring-like representation of lattice pseudoeffect algebras. Soft Comput. 23 (5) (2019)
Ivan Chajda, Davide Fazio, Antonio Ledda
On the structure theory of Łukasiewicz near semirings. Log. J. IGPL 26 (1) (2018)