Propostional proof systems and fast consistency provers by J.J. Joosten