Milan Božić. "Positive Logic with Double Negation." Publications de l'Institut Mathématique 35(49).55 (1984): 21-32. <http://eudml.org/doc/256117>.
@article{MilanBožić1984, author = {Milan Božić}, journal = {Publications de l'Institut Mathématique}, keywords = {Hdn; intuitionistic modal logic; necessity; axiomatization; fragment of the Heyting propositional calculus}, language = {eng}, number = {55}, pages = {21-32}, publisher = {Matematički institut SANU}, title = {Positive Logic with Double Negation}, url = {http://eudml.org/doc/256117}, volume = {35(49)}, year = {1984}, }
TY - JOUR AU - Milan Božić TI - Positive Logic with Double Negation JO - Publications de l'Institut Mathématique PY - 1984 PB - Matematički institut SANU VL - 35(49) IS - 55 SP - 21 EP - 32 LA - eng KW - Hdn; intuitionistic modal logic; necessity; axiomatization; fragment of the Heyting propositional calculus UR - http://eudml.org/doc/256117 ER -