1. A. D. Yashin, ?Nishimura's formulas as one-place logical connectives in the elementary theory of Kripke models,? Vestn. Mosk. Gos. Univ. Ser. 1, Mat. Mekh., No. 5, 12?15 (1984).
2. A. D. Yashin, ?Semantic characterization of intuitionistic logical connectives,? Mat. Zametki,38, No. 1, 157?166 (1985).
3. A. D. Yashin, ?Semantic characterization of connectives in Heyting-Brouwer logic,? Proceedings of All-Union Conference on Applied Logic, Novosibirsk (1985), 237?239.
4. C. Rauszer, ?Applications of Kripke models to Heyting-Brouwer logic,? Stud. Logica,36, No. 1?2, 61?71 (1977).
5. C. Rauszer, ?Model theory for an extension of intuitionistic logic,? Stud. Logica,36, No. 1?2, 73?87 (1977).