Intuitionistic double negation as a necessity operator.
Publications de l 'Institut Mathématique. Nouvelle Série, 35(49) (1984), p. 15.

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

Classification : 03B45
Mots-clés : Kripke models, intuitionistic propositional modal logic, necessity operator, intuitionistic double negation 
@article{PIM2_1984__35(49)_257669,
     author = {Do\v{s}en, Kosta},
     title = {Intuitionistic double negation as a necessity operator.},
     journal = {Publications de l 'Institut Math\'ematique. Nouvelle S\'erie},
     pages = {15},
     publisher = {mathdoc},
     volume = {35(49)},
     year = {1984},
     zbl = {0555.03012},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_257669/}
}
TY  - JOUR
AU  - Došen, Kosta
TI  - Intuitionistic double negation as a necessity operator.
JO  - Publications de l 'Institut Mathématique. Nouvelle Série
PY  - 1984
SP  - 15
VL  - 35(49)
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_257669/
LA  - en
ID  - PIM2_1984__35(49)_257669
ER  - 
%0 Journal Article
%A Došen, Kosta
%T Intuitionistic double negation as a necessity operator.
%J Publications de l 'Institut Mathématique. Nouvelle Série
%D 1984
%P 15
%V 35(49)
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_257669/
%G en
%F PIM2_1984__35(49)_257669
Došen, Kosta. Intuitionistic double negation as a necessity operator.. Publications de l 'Institut Mathématique. Nouvelle Série, 35(49) (1984), p. 15. https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_257669/