$\mathbf{S4}$ 及中间命题逻辑的 Lyndon 插值性质研究
逻辑
2025-05-20 v3
摘要
我们研究了 及中间命题逻辑扩展的 Lyndon 插值性质 (LIP) 与统一 Lyndon 插值性质 (ULIP)。我们证明了在已知具有 Craig 插值性质 (CIP) 的 18 个 一致正规模态逻辑中，有 11 个逻辑拥有 LIP 而 7 个不具备。我们也证明了对于中间命题逻辑，Craig 插值性质、LIP 与 ULIP 等价。
关键词
引用
@article{arxiv.2407.00505,
title = {Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics},
author = {Taishi Kurahashi},
journal= {arXiv preprint arXiv:2407.00505},
year = {2025}
}
备注
37 pages