Римацкий Виталий Валентинович

кандидат физико-математических наук, доцент

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

Образование

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

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

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

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

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

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

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

Публикации

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

  • В. В. Рыбаков, М. Терзилер, В. В. Римацкий. Описание базиса в полу-редуцированной форме для правил вывода интуиционистской логики, Алгебра и логика, 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