TY - RPRT TI - Intuitionistic Logic is a Connexive Logic AU - Davide Fazio AU - Antonio Ledda AU - Francesco Paoli PY - 2022 UR - https://arxiv.org/abs/2208.14715 ID - 2208.14715 ER -