|
|
|
Publications in Math-Net.Ru |
Citations |
|
2022 |
| 1. |
I. A. Gorbunov, “Theories in propositional logiń and the converse of substitution”, Izv. Vyssh. Uchebn. Zaved. Mat., 2022, no. 5, 33–41  ; Russian Math. (Iz. VUZ), 66:5 (2022), 26–32 |
|
2021 |
| 2. |
I. A. Gorbunov, “Theories of the Classical Propositional Logic and Substitutions”, Mat. Zametki, 110:6 (2021), 856–864  ; Math. Notes, 110:6 (2021), 887–893   |
|
2020 |
| 3. |
I. A. Gorbunov, “A theories of classical propositional logic and counterimages of substitutions”, Izv. Vyssh. Uchebn. Zaved. Mat., 2020, no. 1, 26–29 ; Russian Math. (Iz. VUZ), 64:1 (2020), 22–24 |
|
2018 |
| 4. |
I. A. Gorbunov, “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 |
|
2017 |
| 5. |
I. A. Gorbunov, “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. |
I. A. Gorbunov, “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 |
|
| Organisations |
|
| |
|
|
Contact us: