论文标题
直觉逻辑中的相对统一：迈向HA的可证明性逻辑
Relative Unification in Intuitionistic Logic: Towards provability logic of HA
论文作者
论文摘要
本文研究了直觉逻辑中的相对统一和可接受性。我们概括了[Ghilardi，1999; Iemhoff，2001a]并证明了它们在nnil（PAR）命题中，命题类别的类别在左侧没有嵌套的含义，由参数组成。这种概括的主要应用是表征Heyting Arithmetic HA的可预订性逻辑并证明其可决定性[Mojtahedi，2022]。
This paper studies relative unification and admissibility in the intuitionistic logic. We generalize results of [Ghilardi, 1999; Iemhoff, 2001a] and prove them relative in NNIL(par) propositions, the class of propositions with No Nested Implications in the Left made up from parameters. The main application of such generalization is to characterize provability logic of Heyting Arithmetic HA and prove its decidability [Mojtahedi, 2022].
