Łukasiewicz 逻辑可容许规则的复杂度
计算机科学中的逻辑
2013-05-22 v2 计算复杂性
逻辑
摘要
我们研究了无穷值Łukasiewicz命题逻辑（Ł）中推理规则可容许性的计算复杂度。文献[13]已表明Ł中的可容许性可在PSPACE内检验。我们证明了该结果是最优的，即Ł的可容许规则是PSPACE完全的。相比之下，已知Ł的可推导规则是coNP完全的。
引用
@article{arxiv.1108.6261,
title = {The complexity of admissible rules of {\L}ukasiewicz logic},
author = {Emil Jeřábek},
journal= {arXiv preprint arXiv:1108.6261},
year = {2013}
}
备注
14 pages, 2 figures; to appear in Journal of Logic and Computation