Inferential-connexive mixed logics

Abstract In this article, we present a new type of connexive-like logics. We call them inferential-connexive mixed logics, as they satisfy inferential versions of the main four connexive principles: AT, AT’, BT and BT’. We focus first on some Strong-Kleene type of mixed and inferentially connexive logics that cannot be interpreted as truth-preserving, but that can receive other interpretations in terms to falsity-preservation and related features. We introduce afterwards the notion of inferential-connexive Boolean logic, and present some logics that fall in this ballpark. We also explain the relation between inferentially-connexive Boolean logics and some inferentially-connexive Strong-Kleene logics, and show how they can also be interpreted in epistemic (or attitudinal)-related terms.