Negated Implications in Connexive Relevant Logics
Andrew Tedder · The Australasian Journal of Logic · 2025
Connexive expansions of relevant logics tend to prove every negated implication formula. In this paper I discuss why they tend to satisfy this unsavoury property, and discuss avenues by which it can be avoided, providing logics which stand as proofs of concept that these avenues can be made to work.