Negated Implications in Connexive Relevant Logics

Andrew Tedder

This talk investigates the odd fact that one may add connexive theses to relevant logics, giving rise to contraclassical systems, and obtain logics which are not trivial, still obey many of the desired relevance properties, and yet allow one to prove every negated implication. I’ll show why this is the case, and investigate alternative connexive relevant logics in the area that don’t have this undesirable property.