A History Of Connexivity

Boolean Connexive Logics: Semantics and tableau approach

“…The study offers a new approach to the issue of connexivity. Rather than using for instance possible worlds or many logical values [McCall, 2012]  as the starting basis for the definition of connexive logic  we shall assume a certain type of intensional logic: relating logic. By combing the semantic structures for relating logics with a Boolean language we obtain several different logics.…”

A Poly-Connexive Logic

“…are attributed to the ancient philosopher and logician Boethius. For the history of connexive logics see [6]. It is generally agreed that connexive logics are not truth-functional, and arise from an attempt to capture some connection between the antecedent and the consequent of a conditional.…”

Relevant Connexive Logic

“…A connexive extension of a weak Relevance logic can be found in [11]. Also, in [10] McCall presents such a system, adopting the 'use tracing' technique of the ND-system of Anderson and Belnap [1], not specifically associated with R → . I refer to the resulting specific logic proposed in this paper as L rc , a logic of relevance and connexivity.…”