|
|
Publications in Math-Net.Ru |
Citations |
|
1985 |
1. |
A. V. Kuznetsov, “The proof-intuitionistic propositional calculus”, Dokl. Akad. Nauk SSSR, 283:1 (1985), 27–30 |
3
|
|
1979 |
2. |
A. V. Kuznetsov, M. F. Raţă, “A criterion for functional completeness in classical first-order predicate logic”, Dokl. Akad. Nauk SSSR, 249:3 (1979), 540–544 |
1
|
|
1970 |
3. |
V. Ya. Gerchiu, A. V. Kuznetsov, “The finitely axiomatizable superintuitionistic logics”, Dokl. Akad. Nauk SSSR, 195:6 (1970), 1263–1266 |
1
|
4. |
A. V. Kuznetsov, V. Ya. Gerchiu, “The superintuitionistic logics and finitary approximability”, Dokl. Akad. Nauk SSSR, 195:5 (1970), 1029–1032 |
6
|
|
1965 |
5. |
A. V. Kuznetsov, “Analogs of the “Sheffer stroke” in constructive logic”, Dokl. Akad. Nauk SSSR, 160:2 (1965), 274–277 |
5
|
|
1963 |
6. |
A. V. Kuznetsov, “Undecidability of the general problems of completeness,
solvability and equivalence for propositional calculi”, Algebra i Logika. Sem., 2:4 (1963), 47–66 |
3
|
|
1958 |
7. |
A. V. Kuznetsov, “Non-repeating contact schemes and non-repeating superpositions of functions of algebra of logic”, Trudy Mat. Inst. Steklov., 51 (1958), 186–225 |
13
|
8. |
A. V. Kuznetsov, “A property of functions realized by non-planar non-repeating networks”, Trudy Mat. Inst. Steklov., 51 (1958), 174–185 |
|
|
|
1971 |
9. |
V. Ya. Gerchiu, A. V. Kuznetsov, “Поправки к статье “О конечно аксиоматизируемых суперинтуиционистских логиках” (ДАН, т. 195, № 6, 1970 г.)”, Dokl. Akad. Nauk SSSR, 199:6 (1971), 742 |
10. |
A. V. Kuznetsov, V. Ya. Gerchiu, “Поправки к статье “О суперинтуиционистских логиках и финитной аппроксимируемости” (ДАН, т. 195, № 5, 1970 г.)”, Dokl. Akad. Nauk SSSR, 199:6 (1971), 742 |
|
|
|