Smetanin Yurii Mikhailovich

Publications in Math-Net.Ru

1. The use of distributed computing in domain modeling in universal syllogistics
   
   Program Systems: Theory and Applications, 15:2 (2024),  87–112
2. Front-end algorithm for solving the SAT problem
   
   Program Systems: Theory and Applications, 13:4 (2022),  163–179
3. Verification of the logical sequence in nonclassical multivalued logic
   
   Izv. IMI UdGU, 50 (2017),  62–82
4. Verification of logical consequence, using the calculus of constituent sets and correspondences of Galois
   
   Program Systems: Theory and Applications, 8:2 (2017),  69–93
5. Non-paradoxical logical consequence and the problem of solving ML-equations
   
   Program Systems: Theory and Applications, 7:1 (2016),  99–115
6. Propositional logic on the basis of algebraic system containing traditional syllogistics
   
   Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2013, no. 2,  127–146
7. Analysis of paradoxes of tangible implication in the orthogonal basis of syllogistics
   
   Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2011, no. 4,  144–162
8. Algorithm for solving polisillogizm in the orthogonal basis by calculating the constituent sets
   
   Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2010, no. 4,  172–185
9. Orthogonal basic of syllogistics
   
   Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2009, no. 4,  155–166


10. Vasilii Yakovlevich Derr. To anniversary
    
    Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 29:4 (2019),  612–617
11. Nikolai Nikolaevich Nepeivoda. To anniversary
    
    Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 29:2 (2019),  295–298