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

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

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


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