This paper investigates the implicative conditional, a connective intended to describe the
logical behavior of an empirically defined class of natural language conditionals, also …

According to the view of conditionals named inferentialism, a conditional holds when its
consequent can be inferred from its antecedent. This paper identifies some major …

Over the past ten years, the community researching connexive logics is rapidly growing and
a number of papers have been published. However, when it comes to the terminology used …

This paper introduces the logics of super-strict implications that are based on CI Lewis' non-
normal modal logics S2 and S3. The semantics of these logics is based on Kripke's …

A NOTE ON “A CONNEXIVE CONDITIONAL” Page 1 LOGOS & EPISTEME, XIII, 3 (2022):
325-328 A NOTE ON “A CONNEXIVE CONDITIONAL” Heinrich WANSING and Hitoshi OMORI …

This paper is devoted to the investigation of term-definable connexive implications in
substructural logics with exchange and, on the semantical perspective, in sub-varieties of …

Günther recently suggested a‗ new 'conditional. This conditional is not new, as already
remarked by Wansing and Omori. It is just David Lewis 'forgotten alternative‗ doctored …

This paper studies proof systems for the logics of super-strict implication ST 2–ST 5, which
correspond to CI Lewis' systems S 2–S 5 freed of paradoxes of strict implication. First, Hilbert …

E-mail: fpvdoorn@ gmail. com. Do you want to try to prove some theorems in a computer
proof assistant? Or do you want to learn the latest version of the Lean Theorem Prover? You …

This paper studies proof systems for the logics of super-strict implication ST2–ST5, which
correspond to CI Lewis' systems S2–S5 freed of paradoxes of strict implication. First, Hilbert …