Rosalie Iemhoff On the rules of intermediate logics. 581-599 2006 45 Arch. Math. Log. 5 http://dx.doi.org/10.1007/s00153-006-0320-8 db/journals/aml/aml45.html#Iemhoff06