@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/} }