Mortensen 逻辑
计算机科学中的逻辑
2022-04-15 v1
摘要
Mortensen 引入了一种通常被称为“M3V”的连通逻辑。M3V 是通过向 LP 添加一种特殊的条件句而得到的。除了其连通性之外，M3V 最显著的特征在于它是否定不一致的，并且它验证了每个条件句的否定。但 Mortensen 也广泛研究并应用了其他非连通逻辑，例如闭集逻辑 CSL，以及 Sette 逻辑的一个变体，该变体由 Marcos 识别并称为“P2”。本文中，我们系统地分析和比较了 CSL 和 P2 的连通变体，即通过向它们添加 M3V 条件句而获得的变体。我们的主要观察有两点。第一，M3V 的不一致性在闭集逻辑的连通变体中被加剧，而在类 Sette 的 P2 的连通变体中被减弱。第二，与其他条件句不同，M3V 条件句是“连通稳定的”，意味着当其与主要的次协调否定组合时仍保持连通性。
引用
@article{arxiv.2204.06731,
title = {Mortensen Logics},
author = {Luis Estrada-González and Fernando Cano-Jorge},
journal= {arXiv preprint arXiv:2204.06731},
year = {2022}
}
备注
In Proceedings NCL 2022, arXiv:2204.06359