许多值逻辑中的渐近真值定律
摘要：限定任意谓词逻辑的有限模型对于句子可能取哪些真值进行研究。我们得到了对于具有有限格子化代数值的任何逻辑以及一些无限值逻辑（包括Lukasiewicz逻辑）的Fagin经典二值定律的推广。有限值情况通过统一翻译和Oberschelp对Fagin结果的推广转化为经典情况。此外，我们证明了确定给定句子的几乎确定值的复杂性是PSPACE完全的，并且对于某些逻辑来说，我们可以完全描述句子几乎确定可以取到的真值集合。
作者：Guillermo Badia, Xavier Caicedo and Carles Noguera
论文ID：2306.13904
分类：Logic
分类简称：math.LO
提交时间：2023-06-27