3 citations · 3 across the 5 of their papers we have counts for
6 papers
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…
Connexive implications in Substructural Logics
Davide Fazio, Gavin St. John
This paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of co…
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.…
An algebraic analysis of implication in non-distributive logics
Ivan Chajda, Kadir Emir, Davide Fazio +3
In this paper, we introduce the concept of a (lattice) skew Hilbert algebra as a natural generalization of Hilbert algebras. This notion allows a unified treatment of several struc…
Algebraic properties of paraorthomodular posets
Ivan Chajda, Davide Fazio, Helmut Länger +2
Paraorthomodular posets are bounded partially ordered set with an antitone involution induced by quantum structures arising from the logico-algebraic approach to quantum mechanics.…
On the structure theory of Łukasiewicz near semirings
Ivan Chajda. Davide Fazio, Antonio Ledda
In a previous article by two of the present authors and S. Bonzio, Łukasiewicz near semirings were introduced and it was proven that basic algebras can be represented (precisely, a…