Горбунов Игорь Анатольевич

Публикации в базе данных Math-Net.Ru

1. Теории пропозициональных логик и обращение подстановки
   
   Изв. вузов. Матем., 2022, № 5,  33–41
2. Теории классической пропозициональной логики и подстановка
   
   Матем. заметки, 110:6 (2021),  856–864
3. Теории классической пропозициональной логики и обращение подстановки
   
   Изв. вузов. Матем., 2020, № 1,  26–29
4. Квазинормальные напарники модальных логик K4 и GL
   
   Вестник ТвГУ. Серия: Прикладная математика, 2018, № 4,  98–110
5. Решетки множеств и алгебраический оператор замыкания
   
   Вестник ТвГУ. Серия: Прикладная математика, 2017, № 4,  35–42
6. Эффективный критерий дедуктивности множеств формул логики
   
   Вестник ТвГУ. Серия: Прикладная математика, 2017, № 1,  95–103