On an algebraic and Kripke semantics for intermediate logics Hiroakira Ono; Cecylia Rauszer — 1982 Banach Center Publications