数值明确三段论及相关片段的复杂性
计算机科学中的逻辑
2024-04-19 v1 人工智能
计算复杂性
摘要
在本文中，我们确定了通过向传统三段论添加数值量词和其他构造而获得的各种逻辑的可满足性问题的复杂性。此外，我们证明了最近提出的针对这些逻辑的证明系统的一些不完备性。
引用
@article{arxiv.cs/0701039,
title = {On the Complexity of the Numerically Definite Syllogistic and Related Fragments},
author = {Ian Pratt-Hartmann},
journal= {arXiv preprint arXiv:cs/0701039},
year = {2024}
}
备注
24 pages 1 figure