Hosoi, 1966. On the separation theorem of intermediate propositional calculi 42.. https://doi.org/10.3792/pja/1195521924