Место работы и должность

• Кафедра высшей и прикладной математики, доцент
  

Образование

• Красноярский Государственный Университет — математика, квалификация "математик", 1996 г.

Стаж работы (полных лет)

Общий: 20
По специальности: 22

Научные направления, профессиональные интересы

• Допустимые правила вывода в нестандартных логиках

Преподаваемые дисциплины

• математический анализ
• алгебра
• дискретная математика
• логика

Публикации

Наиболее значимые публикации:

• В. В. Рыбаков, М. Терзилер, В. В. Римацкий. Описание базиса в полу-редуцированной форме для правил вывода интуиционистской логики, Алгебра и логика, 39:6 (2000), 720–740
• В. В. Рыбаков, В. В. Римацкий, Сохранение допустимости правил вывода в логиках, родственных S4.2, Сиб. матем. журн., 43:2 (2002), 446–453
• Виталий В. Римацкий, Явный базис допустимых правил вывода логик конечной ширины, Журн. СФУ. Сер. Матем. и физ., 1:1 (2008), 83–91
• В. В. Римацкий, Базисы допустимых правил K-насыщенных логик, Алгебра и логика, 47:6 (2008), 750–761
• В. В. Римацкий, Явный базис допустимых правил вывода модальных логик, расширяющих S4.1, Grz, Сиб. матем. журн., 50:4 (2009), 872–882
• В. В. Римацкий. Явный базис допустимых правил вывода табличных модальных логик ширины 2, Алгебра и логика, 48:1 (2009), 122–148
• В. В. Римацкий. Таблично допустимые правила вывода, Алгебра и логика, 48:3 (2009), 400–414
• В. В. Римацкий. Построение явного базиса для допустимых правил вывода модальных логик, расширяющих S4.1, Дискрет. матем., 23:4 (2011), 48–65
• А. Н. Лукьянчук, В. В. Римацкий. Аксиоматизация линейной логики знания и времени LTKr с интранзитивным отношением времени, Сиб. матем. журн., 54:6 (2013), 1304–1314
• В. В. Римацкий, В. Р. Кияткин, Независимый базис допустимых правил вывода предтабличных логик и их расширений, Сиб. электрон. матем. изв., 10 (2013), 79–89

Ссылка на профиль в Академии Google