Non-Normal Super-Strict Implications
Logic in Computer Science
2022-04-15 v1
Abstract
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.
Keywords
Cite
@article{arxiv.2204.06721,
title = {Non-Normal Super-Strict Implications},
author = {Guido Gherardi and Eugenio Orlandelli},
journal= {arXiv preprint arXiv:2204.06721},
year = {2022}
}
Comments
In Proceedings NCL 2022, arXiv:2204.06359