%0 Journal Article
%A Kosta Došen
%T Intuitionistic Double Negation as a Necessity Operator
%J Publications de l'Institut Mathématique
%D 1984
%P 15 
%V _N_S_35
%N 49
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a1/
%G en
%F PIM_1984_N_S_35_49_a1