activity
20182023
most citedConnexive implications in Substructural Logics

3 citations · 3 across the 5 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

math.LO2022★ 3 cited

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…

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.…