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