Intuitionistic Logic is a Connexive Logic
Crossref DOI link: https://doi.org/10.1007/s11225-023-10044-7
Published Online: 2023-05-02
Published Print: 2024-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Fazio, Davide
Ledda, Antonio
Paoli, Francesco
Funding for this research was provided by:
PRIN 2017
Fondazione di Sardegna
Text and Data Mining valid from 2023-05-02
Version of Record valid from 2023-05-02
Article History
Accepted: 6 March 2023
First Online: 2 May 2023