3 papers
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.…
cs.LO2022
The higher dimensional propositional calculus
Antonio Bucciarelli, Pierre-Louis Curien, Antonio Ledda +2
In recent research, some of the present authors introduced the concept of an n-dimensional Boolean algebra and its corresponding propositional logic nCL, generalising the Boolean p…
math.LO2021
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…