无分配律逻辑语义学诸方法的调和
逻辑
2024-12-22 v2
摘要
本文的贡献在于澄清并实际上完成了一种方法（由 Dunn 与本文作者数年前提出，且近三年左右由本文作者再次 pursued）用于可能缺乏分配律的逻辑（Dunn 的非分配 gaggle）的关系语义。该方法使用带有排序上关联关系（极性）的排序框架，并配备额外的排序关系，但本着奥卡姆剃刀原则，它舍弃了由 Gehrke 发起的广义 Kripke 框架方法中所做的额外假设，即框架是分离且约化的（RS-框架）。我们在本文中表明，尽管拒绝了这些额外的框架限制，RS-框架方法中关于非分配逻辑语义的主要思想和结果均在此更简单的框架中被捕获。这有助于统一研究领域，并且在重要意义上，它补充并完成了 Dunn 的 gaggle 理论项目在可能丢弃分配律的逻辑这一特例上的工作。
引用
@article{arxiv.2109.11597,
title = {Reconciliation of Approaches to the Semantics of Logics without Distribution},
author = {Chrysafis Hartonas},
journal= {arXiv preprint arXiv:2109.11597},
year = {2024}
}