解释逻辑子系统的不动点性质与 Craig 插值性质
逻辑
2020-08-07 v2
摘要
我们研究解释逻辑 的各子系统的不动点性质与 Craig 插值性质。我们针对这些子系统在不动点唯一性、不动点性质以及 Craig 插值性质方面给出了完整的刻画。
关键词
引用
@article{arxiv.2007.05427,
title = {The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$},
author = {Sohei Iwata and Taishi Kurahashi and Yuya Okawa},
journal= {arXiv preprint arXiv:2007.05427},
year = {2020}
}
备注
37 pages