关于具有有限变量出现的关系演算中带有有界点-双点替代的片段
摘要：介绍了$k$-变量出现片段，其中包括最多有$k$次变量出现的术语集合。我们给出了一个关于使用幺半群的有限性来判定$k$-变量出现片段的等式理论可判定性的充分条件。作为一个案例研究，我们证明了对于Tarski的关系计算中具有有界点-连字符交替（类似于一阶逻辑中量词交替）的情况，每个$k$的变量出现片段的等式理论是可判定的。
作者：Yoshiki Nakamura
论文ID：2307.05046
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-12