3 papers
math.LO2023
On Contextuality and Unsharp Quantum Logic
Davide Fazio, Raffaele Mascella
In this paper we provide a preliminary investigation of subclasses of bounded posets with antitone involution which are "pastings" of their maximal Kleene sub-lattices. Specificall…
math.LO2023
Implication in sharply paraorthomodular and relatively paraorthomodular posets
Ivan Chajda, Davide Fazio, Helmut Länger +2
In this paper we show that several classes of partially ordered structures having paraorthomodular reducts, or whose sections may be regarded as paraorthomodular posets, admit a qu…
math.LO2022
Intuitionistic Logic is a Connexive Logic
Davide Fazio, Antonio Ledda, Francesco Paoli
We show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic (CHL), hereby introduced as an example of a strong connexive logic with intuitive semantics.…