@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 }, year = {1984}, volume = {_N_S_35}, number = {49}, language = {en}, url = {http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a2/} }