RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Yankov Vadim Anatol'evich

Statistics Math-Net.Ru
Total publications: 11
Scientific articles: 11

Number of views:
This page:306
Abstract pages:1482
Full texts:505
References:129

http://www.mathnet.ru/eng/person8837
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/352493

Publications in Math-Net.Ru
1. Dialogue interpretation of the classical predicate calculus
V. A. Yankov
Izv. RAN. Ser. Mat., 61:1 (1997),  215–224
2. Dialog theory of proofs for arithmetics, analysis and set theory
V. A. Yankov
Izv. RAN. Ser. Mat., 58:3 (1994),  140–168
3. Conjunctively indecomposable formulas in propositional calculi
V. A. Yankov
Izv. Akad. Nauk SSSR Ser. Mat., 33:1 (1969),  18–38
4. The construction of a sequence of strongly independent superintuitionistic propositional calculi
V. A. Yankov
Dokl. Akad. Nauk SSSR, 181:1 (1968),  33–34
5. The calculus of the weak “Law of excluded middle”
V. A. Yankov
Izv. Akad. Nauk SSSR Ser. Mat., 32:5 (1968),  1044–1051
6. Three sequences of formulas with two variables in the positive propositional logic
V. A. Yankov
Izv. Akad. Nauk SSSR Ser. Mat., 32:4 (1968),  880–883
7. On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus
V. A. Yankov
Izv. Akad. Nauk SSSR Ser. Mat., 32:1 (1968),  208–211
8. Finite validity of formulas of special form
V. A. Yankov
Dokl. Akad. Nauk SSSR, 174:2 (1967),  302–304
9. On the relation between deducibility in intuitionistic propositional calculus and finite implicative structures
V. A. Yankov
Dokl. Akad. Nauk SSSR, 151:6 (1963),  1293–1294
10. On the realizable formulae of propositional logic
V. A. Yankov
Dokl. Akad. Nauk SSSR, 151:5 (1963),  1035–1037
11. On certain superconstructive propositional calculi
V. A. Yankov
Dokl. Akad. Nauk SSSR, 151:4 (1963),  796–798

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2018