1 paper
Marta Bílková, Dick de Jongh, Joost J. Joosten
In this paper from 2009 we study IL(PRA), the interpretability logic of PRA. As PRA is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetica…