绑定逻辑：证明和模型
摘要：谓词逻辑的拓展定义：绑定逻辑，可以在项和命题中绑定变量。我们引入了该逻辑的模型概念，并证明了其完备性和一致性定理。通过将该逻辑再编码回谓词逻辑，并利用经典的一致性和完备性定理获得该定理。
作者：Gilles Dowek (LOGICAL), Th''er`ese Hardin (SPI), Claude Kirchner (PROTHEO)
论文ID：2305.15782
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-05-26