On an algebraic and Kripke semantics for intermediate logics
Ono, Hiroakira ; Rauszer, Cecylia
Banach Center Publications, Tome 7 (1982), p. 431-438 / Harvested from The Polish Digital Mathematics Library
Publié le : 1982-01-01
EUDML-ID : urn:eudml:doc:209247
@article{bwmeta1.element.bwnjournal-article-bcpv9i1p431bwm,
     author = {Ono, Hiroakira and Rauszer, Cecylia},
     title = {On an algebraic and Kripke semantics for intermediate logics},
     journal = {Banach Center Publications},
     volume = {7},
     year = {1982},
     pages = {431-438},
     zbl = {0528.03012},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-bcpv9i1p431bwm}
}
Ono, Hiroakira; Rauszer, Cecylia. On an algebraic and Kripke semantics for intermediate logics. Banach Center Publications, Tome 7 (1982) pp. 431-438. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-bcpv9i1p431bwm/