May, 2022
论嵌套的证明系统（全文）
On Nested Justification Systems (full version)
TL;DR本文介绍了一个用于定义基于规则语言的语义的普遍框架，即“justification theory”，并讨论了“nested justification systems”的概念，这允许模块化地定义规则语言的语义，从而增强了说明理论的表达能力。另外，本文提供了一种替代的“nested justification systems”的语义表征方式，并证明其与原来的语义表征方式等价，同时还讨论了如何利用“nested justification systems”表示fixpoint定义。