Krupski Vladimir Nikolaevich

Publications in Math-Net.Ru

1. Normalization of terms in exact models of the logic of evidence LP
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2023, no. 6,  52–55
2. Exact justification logics
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2020, no. 1,  71–75
3. On symbolic models for Single-Conclusion Logic of Proofs
   
   Mat. Sb., 202:5 (2011),  63–76
4. Efficient coding of approximations of real numbers
   
   Mat. Zametki, 47:2 (1990),  46–57
5. Admissible topological Markov chains with identifications
   
   Mat. Zametki, 35:2 (1984),  263–272
6. Simultaneous approximability of real numbers
   
   Dokl. Akad. Nauk SSSR, 267:1 (1982),  45–48