1. T. Hosoi,The axiomatization of the intermediate propositional systems S n of Gödel,The Journal of the Faculty of Science, University of Tokyo 13 (1966), pp. 183–187.
2. —,On intermediate logics I,The Journal of the Faculty of Science, University of Tokyo 14 (1967), pp. 293–312.
3. —,On intermediate logics II,The Journal of the Faculty of Science, University of Tokyo Sec. I 16 (1969), pp. 1–12.
4. —,On intermediate logics III,The Journal of Tsuda College 6 (1974), pp 23–38.