关于带等词的命题演算的语义与表达力的一些评注
计算机科学中的逻辑
2023-04-04 v1
摘要
Suszko的带等词的命题演算SCI由经典命题演算CPC通过添加新的联结词以及等词的公理(我们在此解释为“命题同一性”)得到。我们用布尔预代数重新表述了SCI的原始语义，建立了与“超内涵语义”的联系。此外，我们定义了某些SCI理论与S3附近的Lewis式模态系统之间对偶性的一般框架。Suszko对应于S4和S5的两个SCI理论的原始方法可表述为一个特例。所有这些对偶性尤其依赖于如下事实：Lewis的“严格等价”由SCI的“命题同一性”原理公理化。
引用
@article{arxiv.2112.02696,
title = {Some remarks on semantics and expressiveness of the Sentential Calculus with Identity},
author = {Steffen Lewitzka},
journal= {arXiv preprint arXiv:2112.02696},
year = {2023}
}
备注
31 pages