单变量直觉主义命题逻辑的模型检验问题是 AC1-完全的
计算复杂性
2011-09-16 v3 计算机科学中的逻辑
摘要
我们证明了单变量直觉主义命题逻辑的模型检验问题对于对数空间均匀的 AC1 是完全的。作为基本工具，我们使用了直觉主义逻辑与海廷代数之间的联系，并研究了其复杂性理论方面。对于单变量的超直觉主义逻辑，我们得到了模型检验问题的 NC1-完全性。
引用
@article{arxiv.1012.3828,
title = {The model checking problem for intuitionistic propositional logic with one variable is AC1-complete},
author = {Martin Mundhenk and Felix Weiss},
journal= {arXiv preprint arXiv:1012.3828},
year = {2011}
}
备注
A preliminary version of this work was presented at STACS 2011. 19 pages, 3 figures