Minimal modal systems in which Heyting and classical logic can be embedded.
Publications de l 'Institut Mathématique. Nouvelle Série, 30(44) (1981), p. 41.

Voir la notice de l'article dans European Digital Mathematics Library

Classification : 03B45
Mots-clés : modal logic, McKinsey-Tarski translation, Goedel translation 
@article{PIM2_1981__30(44)_257591,
     author = {Dosen, Kosta},
     title = {Minimal modal systems in which {Heyting} and classical logic can be embedded.},
     journal = {Publications de l 'Institut Math\'ematique. Nouvelle S\'erie},
     pages = {41},
     publisher = {mathdoc},
     volume = {30(44)},
     year = {1981},
     zbl = {0494.03008},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/PIM2_1981__30(44)_257591/}
}
TY  - JOUR
AU  - Dosen, Kosta
TI  - Minimal modal systems in which Heyting and classical logic can be embedded.
JO  - Publications de l 'Institut Mathématique. Nouvelle Série
PY  - 1981
SP  - 41
VL  - 30(44)
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/PIM2_1981__30(44)_257591/
LA  - en
ID  - PIM2_1981__30(44)_257591
ER  - 
%0 Journal Article
%A Dosen, Kosta
%T Minimal modal systems in which Heyting and classical logic can be embedded.
%J Publications de l 'Institut Mathématique. Nouvelle Série
%D 1981
%P 41
%V 30(44)
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/PIM2_1981__30(44)_257591/
%G en
%F PIM2_1981__30(44)_257591
Dosen, Kosta. Minimal modal systems in which Heyting and classical logic can be embedded.. Publications de l 'Institut Mathématique. Nouvelle Série, 30(44) (1981), p. 41. https://geodesic-test.mathdoc.fr/item/PIM2_1981__30(44)_257591/