大量受限二阶逻辑的参数化公理化
逻辑
2023-07-11 v3
摘要
通过限制二阶语言中谓词变量的范围，可以获得受限版本的二阶逻辑，例如弱二阶逻辑或可定义子集逻辑。在本文中，我们为几种此类系统提供了一个无穷强完备的公理化，其中谓词变量的范围作为一个参数。完备性论证使用了布尔代数理论中的简单技术。
引用
@article{arxiv.2207.02709,
title = {A parametrised axiomatization for a large number of restricted second-order logics},
author = {Guillermo Badia and John Lane Bell},
journal= {arXiv preprint arXiv:2207.02709},
year = {2023}
}