Positive logic with double negation.
Publications de l 'Institut Mathématique. Nouvelle Série, 35(49) (1984), p. 21.

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

Classification : 03B45
Mots-clés : Hdn, intuitionistic modal logic, necessity, axiomatization, fragment of the Heyting propositional calculus 
@article{PIM2_1984__35(49)_117903,
     author = {Bo\v{z}i\'c, Milan},
     title = {Positive logic with double negation.},
     journal = {Publications de l 'Institut Math\'ematique. Nouvelle S\'erie},
     pages = {21},
     publisher = {mathdoc},
     volume = {35(49)},
     year = {1984},
     zbl = {0569.03010},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_117903/}
}
TY  - JOUR
AU  - Božić, Milan
TI  - Positive logic with double negation.
JO  - Publications de l 'Institut Mathématique. Nouvelle Série
PY  - 1984
SP  - 21
VL  - 35(49)
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_117903/
LA  - en
ID  - PIM2_1984__35(49)_117903
ER  - 
%0 Journal Article
%A Božić, Milan
%T Positive logic with double negation.
%J Publications de l 'Institut Mathématique. Nouvelle Série
%D 1984
%P 21
%V 35(49)
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_117903/
%G en
%F PIM2_1984__35(49)_117903
Božić, Milan. Positive logic with double negation.. Publications de l 'Institut Mathématique. Nouvelle Série, 35(49) (1984), p. 21. https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_117903/