树形证明系统是一致的

Aug, 2022

Tree-Like Justification Systems are Consistent

Simon Marynissen, Bart Bogaerts

TL;DR本文研究了包括树状结构和图形结构的证明理论，解决了其中树状结构中的一致性问题，揭示了其抽象的统一形式主义。

Abstract

justification theory is an abstract unifying formalism that captures semantics of various non-monotonic logics. One intriguing problem tha