Non-Normal Super-Strict Implications
Guido Gherardi, Eugenio Orlandelli · Electronic Proceedings in Theoretical Computer Science · 2022
This paper introduces the logics of super-strict implications that are based on C.I. Lewis' non-normal modal logics S2 and S3. The semantics of these logics is based on Kripke's semantics for non-normal modal logics. This solves a question we left open in a previous paper by showing that these logics are weakly connexive.