Rosalie Iemhoff Dick De Jongh Chunlai Zhou Properties of Intuitionistic Provability and Preservativity Logics. 615-636 2005 13 Logic Journal of the IGPL 6 http://dx.doi.org/10.1093/jigpal/jzi047 db/journals/igpl/igpl13.html#IemhoffJZ05