|
|
Публикации в базе данных Math-Net.Ru
-
Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели
Докл. РАН. Матем., информ., проц. упр., 526 (2025), 24–29
-
Суператомная булева алгебра с выделенной подалгеброй, теория которой не имеет простой модели
Сиб. матем. журн., 66:3 (2025), 506–522
-
Теория моделей предметных областей. II
Алгебра и логика, 61:4 (2022), 500–510
-
Теория моделей предметных областей. I
Алгебра и логика, 61:2 (2022), 239–250
-
Теории суператомных булевых алгебр с выделенной подалгеброй, не имеющие счетно-насыщенной модели
Сиб. матем. журн., 61:3 (2020), 654–668
-
Разработка автоматизированных методов порождения служебных документов на естественном языке
Вестник НГУ. Серия: Информационные технологии, 15:3 (2017), 79–89
-
Разработка автоматизированных методов преобразования предложений естественного языка в бескванторные формулы логики предикатов
Вестник НГУ. Серия: Информационные технологии, 15:3 (2017), 49–63
-
Разработка онтологической модели тарифов и услуг сотовой связи, основанной на логически полных определениях понятий
Вестник НГУ. Серия: Информационные технологии, 15:2 (2017), 34–46
-
Конечно-аксиоматизируемые суператомные булевы алгебры с выделенной плотной подалгеброй конечной ширины
Сиб. матем. журн., 57:6 (2016), 1361–1375
-
Нечёткие логики и теория нечётких моделей
Алгебра и логика, 54:1 (2015), 109–118
-
Автоустойчивость булевых алгебр с выделенными идеалами относительно сильных конструктивизаций
Сиб. матем. журн., 56:3 (2015), 617–628
-
Автоморфизмы булевых алгебр, определяемые неподвижными элементами
Алгебра и логика, 51:5 (2012), 623–637
-
Локальные и неисчезающие суператомные булевы алгебры с выделенной плотной подалгеброй
Алгебра и логика, 50:6 (2011), 822–847
-
Нечеткие алгебраические системы
Вестн. НГУ. Сер. матем., мех., информ., 10:3 (2010), 76–93
-
Определимость предложений языка булевых алгебр с выделенными идеалами
Вестн. НГУ. Сер. матем., мех., информ., 8:2 (2008), 91–104
-
Рефлексирующие программные системы
Сиб. журн. индустр. матем., 4:1 (2001), 22–28
-
Алгебра Линденбаума–Тарского булевых алгебр с выделенным идеалом
Алгебра и логика, 34:1 (1995), 88–116
-
Алгебра Линденбаума–Тарского класса булевых алгебр с одним выделенным идеалом
Алгебра и логика, 33:2 (1994), 179–210
-
Теории булевых алгебр с выделенными идеалами, не имеющие простой модели
Тр. Ин-та математики СО РАН, 25 (1993), 104–132
-
Простые и счетно насыщенные модели теории булевых алгебр с выделенными идеалами
Тр. Ин-та математики СО РАН, 25 (1993), 82–103
-
Прямые слагаемые булевых алгебр с выделенными идеалами
Алгебра и логика, 31:5 (1992), 499–537
-
Конечно-аксиоматизируемые булевы алгебры с выделенным идеалами
Алгебра и логика, 26:4 (1987), 435–455
-
О неразрешимости теорий булевых алгебр с выделенным идеалом
Алгебра и логика, 25:3 (1986), 326–346
-
Евгений Андреевич Палютин (1945–2018)
Сиб. электрон. матем. изв., 16 (2019), 1–10
-
Сергей Ильич Мардаев (6.04.1962–10.04.2013)
Сиб. электрон. матем. изв., 10 (2013), 30–34
-
Сергей Савостьянович Гончаров (к 60-летию со дня рождения)
Сиб. матем. журн., 52:5 (2011), 959–961
© , 2026