Сметанин Юрий Михайлович

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

1. Использование распределенных вычислений при моделировании предметной области в универсальной силлогистике
   
   Программные системы: теория и приложения, 15:2 (2024),  87–112
2. Фронтальный алгоритм решения SAT задачи
   
   Программные системы: теория и приложения, 13:4 (2022),  163–179
3. Верификация логического следования в неклассической многозначной логике
   
   Изв. ИМИ УдГУ, 50 (2017),  62–82
4. Верификация логического следования с использованием исчисления конституентных множеств и соответствий Галуа
   
   Программные системы: теория и приложения, 8:2 (2017),  69–93
5. Непарадоксальное логическое следование и проблема решения МЛ-уравнений
   
   Программные системы: теория и приложения, 7:1 (2016),  99–115
6. Логика высказываний на основе алгебраической системы, включающая традиционную силлогистику
   
   Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2013, № 2,  127–146
7. Анализ парадоксов материальной импликации в ортогональном базисе силлогистики
   
   Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2011, № 4,  144–162
8. Алгоритм решения полисиллогизмов в ортогональном базисе посредством исчисления конституентных множеств
   
   Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2010, № 4,  172–185
9. Ортогональный базис силлогистики
   
   Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2009, № 4,  155–166


10. Василий Яковлевич Дерр. К юбилею
    
    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 29:4 (2019),  612–617
11. Николай Николаевич Непейвода. К юбилею
    
    Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 29:2 (2019),  295–298