非正规超严格蕴涵
计算机科学中的逻辑
2022-04-15 v1
摘要
本文引入了基于 C.I. Lewis 的非正规模态逻辑 S2 与 S3 的超严格蕴涵逻辑。这些逻辑的语义基于 Kripke 的非正规模态逻辑语义。这解决了我们在先前论文中遗留的一个开放问题，即表明这些逻辑是弱连通的。
引用
@article{arxiv.2204.06721,
title = {Non-Normal Super-Strict Implications},
author = {Guido Gherardi and Eugenio Orlandelli},
journal= {arXiv preprint arXiv:2204.06721},
year = {2022}
}
备注
In Proceedings NCL 2022, arXiv:2204.06359