Davide Fazio

According to our database, Davide Fazio authored at least 16 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Towards a Quantum Logic of Paradox.

Davide Fazio, Raffaele Mascella

J. Philos. Log., April, 2026

2025

On Contextuality and Unsharp Quantum Logic.

Davide Fazio, Raffaele Mascella

Order, August, 2025

A logical perspective on intending to keep a true secret.

Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri

J. Log. Comput., 2025

2024

An Algebraic Investigation of the Connexive Logic sfC.

Davide Fazio, Sergei P. Odintsov

Stud Logica, April, 2024

Intuitionistic Logic is a Connexive Logic.

Davide Fazio, Antonio Ledda, Francesco Paoli

Stud Logica, April, 2024

Connexive Implications in Substructural Logics.

Davide Fazio, Gavin St. John

Rev. Symb. Log., 2024

On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret.

Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri

Proceedings of the Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops, 2024

2023

A Substructural Gentzen Calculus for Orthomodular quantum Logic.

Davide Fazio, Antonio Ledda, Francesco Paoli, Gavin St. John

Rev. Symb. Log., December, 2023

An algebraic analysis of implication in non-distributive logics.

Ivan Chajda, Kadir Emir, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka

J. Log. Comput., January, 2023

2022

Algebraic Properties of Paraorthomodular Posets.

Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka

Log. J. IGPL, 2022

2021

Residuated Structures and Orthomodular Lattices.

Davide Fazio, Antonio Ledda, Francesco Paoli

Stud Logica, 2021

On a Logico-Algebraic Approach to AGM Belief Contraction Theory.

Davide Fazio, Michele Pra Baldi

J. Philos. Log., 2021

2020

On residuation in paraorthomodular lattices.

Ivan Chajda, Davide Fazio

Soft Comput., 2020

The generalized orthomodularity property: configurations and pastings.

Ivan Chajda, Davide Fazio, Antonio Ledda

J. Log. Comput., 2020

2019

A semiring-like representation of lattice pseudoeffect algebras.

Ivan Chajda, Davide Fazio, Antonio Ledda

Soft Comput., 2019

2018

On the structure theory of Łukasiewicz near semirings.

Ivan Chajda, Davide Fazio, Antonio Ledda

Log. J. IGPL, 2018