归纳不等式的建设性规范性
摘要：通过建构性元理论，我们证明了在逻辑类别中归纳不等式的规范性，在这些类别中，逻辑被代数上所捕捉的正常和正则格扩展所描述。此结果包含了Ghilardi-Meloni和Suzuki关于Sahlqvist公式和不等式的规格性的建构性结果，并且是基于统一对应理论工具的应用。具体地，我们为格扩展算法ALBA的语言提供了一种替代解释：名义变量和逆名义变量分别被解释为正常/正则格扩展的规范扩展的闭元素和开元素，而不是完全可合并和可交纳的元素。我们证明了在这种解释下，ALBA是正确的。根据这一事实，ALBA在归纳不等式上的成功说明了不等式的建构性规整性，标称结果是ALBA在归纳不等式上的成功的结果。
作者：Willem Conradie and Alessandra Palmigiano
论文ID：1603.08341
分类：Logic
分类简称：math.LO
提交时间：2023-06-22