关系三段论逻辑之版图探索
逻辑
2023-06-22 v2 计算与语言
计算机科学中的逻辑
摘要
本文探讨关系三段论逻辑，这是一类与经典三段论扩展中关系推理相关的逻辑系统。这些均为可判定的逻辑系统。我们针对由项与句子的构造符参数化的一族自然的关系三段论逻辑，证明了完备性定理与复杂性结果。
引用
@article{arxiv.1809.00656,
title = {Exploring the Landscape of Relational Syllogistic Logics},
author = {Alex Kruckman and Lawrence S. Moss},
journal= {arXiv preprint arXiv:1809.00656},
year = {2023}
}
备注
Final version