Gorbunov Igor Anatolievich

Publications in Math-Net.Ru

1. Theories in propositional logiс and the converse of substitution
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 2022, no. 5,  33–41
2. Theories of the Classical Propositional Logic and Substitutions
   
   Mat. Zametki, 110:6 (2021),  856–864
3. A theories of classical propositional logic and counterimages of substitutions
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 2020, no. 1,  26–29
4. Quasi-normal partners of modal logics K4 and GL
   
   Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2018, no. 4,  98–110
5. Lattices of sets and algebraic closure operator
   
   Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2017, no. 4,  35–42
6. An effective criterion of deductivity of a sets of logical formulas
   
   Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2017, no. 1,  95–103