Božić, Milan Positive logic with double negation. (English) Zbl 0569.03010 Publ. Inst. Math., Nouv. Sér. 35(49), 21-31 (1984). Reviewer: A.A.Johanson MSC: 03B45 PDFBibTeX XMLCite \textit{M. Božić}, Publ. Inst. Math., Nouv. Sér. 35(49), 21--31 (1984; Zbl 0569.03010) Full Text: EuDML
Došen, Kosta Intuitionistic double negation as a necessity operator. (English) Zbl 0555.03012 Publ. Inst. Math., Nouv. Sér. 35(49), 15-20 (1984). MSC: 03B45 PDFBibTeX XMLCite \textit{K. Došen}, Publ. Inst. Math., Nouv. Sér. 35(49), 15--20 (1984; Zbl 0555.03012) Full Text: EuDML