On an algebraic and Kripke semantics for intermediate logics

Publishing house / Banach Center Publications / All volumes

Hiroakira Ono, Cecylia Rauszer Banach Center Publications 9 (1982), 431-438 DOI: 10.4064/-9-1-431-438