Krivtsov Viktor Nikolaevich

Publications in Math-Net.Ru

1. The logic of a creative subject: conservativism versus intuitionistic predicate calculus
   
   Uspekhi Mat. Nauk, 51:1(307) (1996),  151–152
2. On the semantic completeness of the logics of the creating subject
   
   Uspekhi Mat. Nauk, 49:6(300) (1994),  205–206
3. Embedding intuitionistic-type theory in negationless-type theory
   
   Mat. Zametki, 39:1 (1986),  121–135
4. Imbedding of the intuitionistic theory of types into the negationless intuitionistic theory of types
   
   Dokl. Akad. Nauk SSSR, 277:3 (1984),  529–533
5. Deductive possibilities of intuitionistic analysis without negation
   
   Dokl. Akad. Nauk SSSR, 274:4 (1984),  786–790
6. A formal system of negationless arithmetic that is conservative with respect to heyting arithmetic
   
   Mat. Zametki, 36:4 (1984),  583–592
7. Deductive potentialities of the negationless predicate calculus
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984, no. 4,  3–5
8. A type of formal negationless systems
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984, no. 2,  27–31