Yankov Vadim Anatol'evich

Publications in Math-Net.Ru

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