论莱布尼茨层级的复杂性
逻辑
2019-08-05 v1
摘要
我们证明：判定一个有限逻辑矩阵是否确定一个可代数化逻辑的问题对 EXPTIME 是完全的。对于序可代数化、弱可代数化、等价逻辑和原代数逻辑等类，同样的结果成立。最后，对真值等式逻辑类的同一问题被证明对 EXPTIME 是困难的。
引用
@article{arxiv.1908.00924,
title = {On the complexity of the Leibniz hierarchy},
author = {T. Moraschini},
journal= {arXiv preprint arXiv:1908.00924},
year = {2019}
}