This paper studies proof systems for the logics of super-strict implication \(\textsf{ST2}\) – \(\textsf{ST5}\), which correspond to C.I. Lewis’ systems \(\textsf{S2}\) – \(\textsf{S5}\) freed of paradoxes of strict implication. First, Hilbert-style axiomatic systems are introduced and shown to be sound and complete by simulating \(\textsf{STn}\) in \(\textsf{Sn}\) and backsimulating \(\textsf{Sn}\) in \(\textsf{STn}\), respectively (for \({\textsf{n}} =2, \ldots, 5\) ). Next, \(\textsf{G3}\) -style labelled sequent calculi are investigated. It is shown that these calculi have the good structural properties that are distinctive (...) of \(\textsf{G3}\) -style calculi, that they are sound and complete, and it is shown that the proof search for \(\mathsf {G3.ST2}\) is terminating and therefore the logic is decidable. (shrink)

In this paper, we introduce a new logic, which we call AM3. It is a connexive logic that has several interesting properties, among them being strongly connexive and validating the Converse Boethius Thesis. These two properties are rather characteristic of the difference between, on the one hand, Angell and McCall’s CC1 and, on the other, Wansing’s C. We will show that in other aspects, as well, AM3 combines what are, arguably, the strengths of both CC1 and C. It also allows (...) us an interesting look at how connexivity and the intuitionistic understanding of negation relate to each other. However, some problems remain, and we end by pointing to a large family of weaker logics that AM3 invites us to further explore. (shrink)

Today there is a wealth of fascinating studies of connexive logical systems. But sometimes it looks as if connexive logic is still in search of a convincing interpretation that explains in intuitive terms _why_ the connexive principles should be valid. In this paper I argue that difference-making conditionals as presented in Rott (_Review of Symbolic Logic_ 15, 2022) offer one principled way of interpreting connexive principles. From a philosophical point of view, the idea of difference-making demands full, unrestricted connexivity, because (...) neither logical truths nor contradictions or other absurdities can ever ‘make a difference’ (i.e., be relevantly connected) to anything. However, difference-making conditionals have so far been only partially connexive. I show how the existing analysis of difference-making conditionals can be reshaped to obtain full connexivity. The classical AGM belief revision model is replaced by a conceivability-limited revision model that serves as the semantic base for the analysis. The key point of the latter is that the agent should never accept any absurdities. (shrink)