树状的理由系统是一致的
Tree-Like Justification Systems are Consistent
摘要：
证明理论是一种抽象的统一形式主义，它捕捉了各种非单调逻辑的语义。一个有趣的问题，已收到显着的关注是一致性问题：在何种条件下是一个事实的理由和理由，其否定适当相关。有两种证明理论：一种是证明是树，另一种是证明是图。在这项工作中，我们解决了一致性问题，一劳永逸的树一样的设置显示，所有合理的树一样的理由系统是一致的。
英文摘要：
Justification theory is an abstract unifying formalism that captures semantics of various non-monotonic logics. One intriguing problem that has received significant attention is the consistency problem: under which conditions are justifications for a fact and justifications for its negation suitably related. Two variants of justification theory exist: one in which justifications are trees and one in which they are graphs. In this work we resolve the consistency problem once and for all for the tree-like setting by showing that all reasonable tree-like justification systems are consistent.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
