有界剩余分配格序群胚泛理论的复杂性
逻辑
2019-10-17 v1 计算机科学中的逻辑
摘要
我们证明有界剩余分配格序群胚的泛理论与拟等式理论均为EXPTIME完全。对有界分配格带一元或二元算子以及有界剩余分配格序群胚的某些特殊类,也证明了类似结果。
关键词
引用
@article{arxiv.1910.05556,
title = {Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids},
author = {Dmitry Shkatov and C. J. Van Alten},
journal= {arXiv preprint arXiv:1910.05556},
year = {2019}
}