直觉主义逻辑中的相对合一：迈向 HA 的可证性逻辑
逻辑
2025-10-07 v3
摘要
本文研究直觉主义逻辑中的相对合一与可容性。我们推广了 [Ghilardi, 1999; Iemhoff, 2001a] 的结果，并在 NNIL(par) 命题（由参数构成、左侧无嵌套蕴涵的命题类）中相对地证明它们。此类推广的主要应用是刻画 Heyting 算术 HA 的可证性逻辑并证明其可判定性 [Mojtahedi, 2022]。
引用
@article{arxiv.2206.00446,
title = {Relative Unification in Intuitionistic Logic: Towards provability logic of HA},
author = {Mojtaba Mojtahedi},
journal= {arXiv preprint arXiv:2206.00446},
year = {2025}
}