论文标题
大量受限二阶逻辑的参数化公理化
A parametrised axiomatization for a large number of restricted second-order logics
论文作者
论文摘要
通过在二阶语言中限制谓词变量的范围，可以获得二阶逻辑的受限制版本，例如弱二阶逻辑或可定义的子集逻辑。在本说明中，我们为以谓词变量为参数的多个系统提供了一个无限的完整公理化。完整的参数使用布尔代数理论中的简单技术。
By limiting the range of the predicate variables in a second-order language one may obtain restricted versions of second-order logic such as weak second-order logic or definable subset logic. In this note we provide an infinitary strongly complete axiomatization for several systems of this kind having the range of the predicate variables as a parameter. The completeness argument uses simple techniques from the theory of Boolean algebras.
