Citkin Alexander Il'ich

Publications in Math-Net.Ru

1. Finite axiomatizability of locally tabular superintuitionistic logics
   
   Mat. Zametki, 40:3 (1986),  407–413
2. On structurally complete superintuitionistic logics
   
   Dokl. Akad. Nauk SSSR, 241:1 (1978),  40–43
3. On admissible rules of intuitionistic propositional logic
   
   Mat. Sb. (N.S.), 102(144):2 (1977),  314–323
4. Simple testers
   
   Dokl. Akad. Nauk SSSR, 201:4 (1971),  801–802