1. B. R. Boričić, On sequence-conclusion natural deduction systems, Journal of Philosophical Logic 14 (1985), pp. 359–377.
2. B. R. Boričić, A cut-free Gentzen-type system for the logic of the weak law of excluded middle, Studia Logica 45 (1986), pp. 39–53.
3. B. R. Boričić, On certain normalizable natural deduction formulations of some propositional intermediate logics, to appear in Notre Dame Journal of Formal Logic.
4. T. Hosoi and H. Ono, Intermediate propositional logics (A survey), Journal of Tsuda College 5 (1973), pp. 67–82.
5. T. Hosoi, On intermediate logics III, Journal of Tsuda College 6 (1974), pp. 23–38.