Intuitionistic Logic is a Connexive Logic - Davide Fazio; Antonio Ledda; Francesco Paoli (2022)