关于局部理论扩展中的$P$-插值及其在描述逻辑${\cal EL}, {\cal EL}^+$中插值研究中的应用

摘要：$P$-内插问题在基本理论的某些类的局部扩展中进行研究。为了计算$P$-内插项，我们使用了一种分层方法：这使得我们可以使用一种基本理论内计算内插项的方法来计算内插项。我们使用这些结果来证明具有单调算子的半格类中的$leq$-内插；我们通过给出一个反例证明，如果“共享”符号仅指公共符号，则$leq$-内插不成立。我们使用这些结果来研究描述逻辑${cal EL}$和${cal EL}^+$中的$sqsubseteq$-内插。

作者：Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert

论文ID：2307.08843

分类：Logic in Computer Science

分类简称：cs.LO

提交时间：2023-07-19

PDF 下载： 英文版 中文版pdf翻译中