1 citations · 1 across the 6 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022★ 1 cited
Relative Unification in Intuitionistic Logic: Towards provability logic of HA
Mojtaba Mojtahedi
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…
math.LO2022
On the Provability Logic of HA
Mojtaba Mojtahedi
We axiomatize the provability logic of $\HA$ and prove its decidability. Furthermore, we axiomatize the preservativity and relative admissibility relations for several modal logics…