|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
| 1. |
И. А. Горбунов, “Теории пропозициональных логик и обращение подстановки”, Изв. вузов. Матем., 2022, № 5, 33–41  ; I. A. Gorbunov, “Theories in propositional logiс and the converse of substitution”, Russian Math. (Iz. VUZ), 66:5 (2022), 26–32 |
|
2021 |
| 2. |
И. А. Горбунов, “Теории классической пропозициональной логики и подстановка”, Матем. заметки, 110:6 (2021), 856–864  ; I. A. Gorbunov, “Theories of the Classical Propositional Logic and Substitutions”, Math. Notes, 110:6 (2021), 887–893   |
|
2020 |
| 3. |
И. А. Горбунов, “Теории классической пропозициональной логики и обращение подстановки”, Изв. вузов. Матем., 2020, № 1, 26–29 ; I. A. Gorbunov, “A theories of classical propositional logic and counterimages of substitutions”, Russian Math. (Iz. VUZ), 64:1 (2020), 22–24 |
|
2018 |
| 4. |
И. А. Горбунов, “Квазинормальные напарники модальных логик K4 и GL”, Вестник ТвГУ. Серия: Прикладная математика, 2018, № 4, 98–110 |
|
2017 |
| 5. |
И. А. Горбунов, “Решетки множеств и алгебраический оператор замыкания”, Вестник ТвГУ. Серия: Прикладная математика, 2017, № 4, 35–42 |
| 6. |
И. А. Горбунов, “Эффективный критерий дедуктивности множеств формул логики”, Вестник ТвГУ. Серия: Прикладная математика, 2017, № 1, 95–103 |
|
Обратная связь: