Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kuznetsov, Aleksandr Vladimirovich
(1926–1984)

Statistics Math-Net.Ru
Total publications: 10
Scientific articles: 8

Number of views:
This page:1189
Abstract pages:898
Full texts:523
Website: http://bio.logics.pro/index.php/Кузнецов_Александр_Владимирович

http://www.mathnet.ru/eng/person118306
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
1985
1. A. V. Kuznetsov, “The proof-intuitionistic propositional calculus”, Dokl. Akad. Nauk SSSR, 283:1 (1985),  27–30  mathnet  mathscinet  zmath
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  mathnet  mathscinet  zmath
1970
3. V. Ya. Gerchiu, A. V. Kuznetsov, “The finitely axiomatizable superintuitionistic logics”, Dokl. Akad. Nauk SSSR, 195:6 (1970),  1263–1266  mathnet  mathscinet  zmath
4. A. V. Kuznetsov, V. Ya. Gerchiu, “The superintuitionistic logics and finitary approximability”, Dokl. Akad. Nauk SSSR, 195:5 (1970),  1029–1032  mathnet  mathscinet  zmath
1965
5. A. V. Kuznetsov, “Analogs of the “Sheffer stroke” in constructive logic”, Dokl. Akad. Nauk SSSR, 160:2 (1965),  274–277  mathnet  mathscinet  zmath
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  mathnet  mathscinet
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  mathnet  mathscinet  zmath
8. A. V. Kuznetsov, “A property of functions realized by non-planar non-repeating networks”, Trudy Mat. Inst. Steklov., 51 (1958),  174–185  mathnet  mathscinet  zmath

1971
9. V. Ya. Gerchiu, A. V. Kuznetsov, “Поправки к статье “О конечно аксиоматизируемых суперинтуиционистских логиках” (ДАН, т. 195, № 6, 1970 г.)”, Dokl. Akad. Nauk SSSR, 199:6 (1971),  742  mathnet
10. A. V. Kuznetsov, V. Ya. Gerchiu, “Поправки к статье “О суперинтуиционистских логиках и финитной аппроксимируемости” (ДАН, т. 195, № 5, 1970 г.)”, Dokl. Akad. Nauk SSSR, 199:6 (1971),  742  mathnet
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2022