Anderson and Belnap presented indexed Fitch-style natural deduction systems for the relevant logics R, E, and T. This work was extended by Brady to cover a range of relevant logics. In this paper I present indexed tree natural deduction systems for the Anderson–Belnap–Brady systems and show how to translate proofs in one format into proofs in the other, which establishes the adequacy of the tree systems.

中文翻译：

---

相关逻辑的线性和树自然演绎系统之间的翻译

Anderson 和 Belnap 提出了相关逻辑的索引 Fitch 式自然演绎系统R,乙， 和吨. 布雷迪扩展了这项工作以涵盖一系列相关逻辑。在本文中，我介绍了 Anderson-Belnap-Brady 系统的索引树自然演绎系统，并展示了如何将一种格式的证明转换为另一种格式的证明，从而确定树系统的充分性。