Minimal modal systems in which Heyting and classical logic can be embedded.
Dosen, Kosta
Publications de l'Institut Mathématique. Nouvelle Série, Tome 29(43) (1981), p. 41-52 / Harvested from The Electronic Library of Mathematics
Full (PDF)
Publié le : 1981-01-01
MISANU-ID : j_publ_0001158
EUDML-ID : urn:eudml:doc:257591 
@article{03777451,
     title = {Minimal modal systems in which Heyting and classical logic can be embedded.},
     journal = {Publications de l'Institut Math\'ematique. Nouvelle S\'erie},
     volume = {29(43)},
     year = {1981},
     pages = {41-52},
     zbl = {0494.03008},
     language = {en},
     url = {http://dml.mathdoc.fr/item/03777451}
}

Dosen, Kosta. Minimal modal systems in which Heyting and classical logic can be embedded.. Publications de l'Institut Mathématique. Nouvelle Série, Tome 29(43) (1981) pp. 41-52. http://gdmltest.u-ga.fr/item/03777451/