带有序对的集合论的可判定量化片段及一些不可判定扩展
计算机科学中的逻辑
2012-10-10 v1
摘要
本文研究带受限量词的集合论片段的可判定性问题，该片段扩展了文献[4]中研究的语言，增加了与对相关的量词和构造，考虑到知识表示领域的可能应用。我们还将证明该语言的可判定性问题具有非确定性指数时间复杂性。然而，对于量词前缀长度有常数限制的公式，可判定性问题变为NP完全。我们还注意到尽管有此限制，许多有用的集合论构造（主要与映射相关）是可表达的。最后，我们给出语言的一些不可判定扩展，涉及算子domain、range、image和map composition中的任何一个。
引用
@article{arxiv.1210.2461,
title = {A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions},
author = {Domenico Cantone and Cristiano Longo},
journal= {arXiv preprint arXiv:1210.2461},
year = {2012}
}
备注
In Proceedings GandALF 2012, arXiv:1210.2028