摘要：限制谓词变量的范围，可以得到第二阶语言的限制版本，如弱二阶逻辑或可定义子集逻辑。在本文中，我们为具有谓词变量范围作为参数的几种这种类型系统提供一种无穷完备的公理化描述。完备性论证使用了布尔代数理论中的简单技术。
作者：Guillermo Badia, John Lane Bell
论文ID：2207.02709
分类：Logic
分类简称：math.LO
提交时间：2023-07-11
PDF 下载： 英文版 中文版pdf翻译中