Geodesic
Positive Logic with Double Negation
Publications de l'Institut Mathématique, _N_S_35 (1984) no. 49, p. 21 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

The fragment of the Heyting propositional calculus which contains double negation but does not contain negation is axiomatized by treating double negation as a necessity operator. The resulting system is shown sound and complete with respect to a specific class of Kripke-style models with two accessibility relations, one intuitionistic and the other modal.
Classification : 03B45 
@article{PIM_1984_N_S_35_49_a2,
     author = {Milan Bo\v{z}i\'c},
     title = {Positive {Logic} with {Double} {Negation}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {21 },
     publisher = {mathdoc},
     volume = {_N_S_35},
     number = {49},
     year = {1984},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a2/}
}
TY  - JOUR
AU  - Milan Božić
TI  - Positive Logic with Double Negation
JO  - Publications de l'Institut Mathématique
PY  - 1984
SP  - 21 
VL  - _N_S_35
IS  - 49
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a2/
LA  - en
ID  - PIM_1984_N_S_35_49_a2
ER  - 
%0 Journal Article
%A Milan Božić
%T Positive Logic with Double Negation
%J Publications de l'Institut Mathématique
%D 1984
%P 21 
%V _N_S_35
%N 49
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a2/
%G en
%F PIM_1984_N_S_35_49_a2
Milan Božić. Positive Logic with Double Negation. Publications de l'Institut Mathématique, _N_S_35 (1984) no. 49, p. 21 . http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a2/