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

кандидат физико-математических наук, доцент
тел.: (391)206-21-16
e-mail:
адрес: 60041, г. Красноярск, пр. Свободный, 79, каб. 14-15
год рождения: 1974

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

Образование

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

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

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

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

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

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

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

Публикации

Последние публикации:

  1. НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ [статья из журнала]
    2013, Сибирские электронные математические известия
  2. Аксиоматизация линейной логики знания и времени LTK r с интранзитивным отношением времени [статья из журнала]
    2013, Сибирский математический журнал
  3. An axiomatization for the linear logic of knowledge and time LTK (r) with intransitive time relation [статья из журнала]
    2013, SIBERIAN MATHEMATICAL JOURNAL
  4. Явный базис допустимых правил вывода модальных логик, расширяющих S4.1, Grz : научное издание [статья из журнала]
    2009, Сибирский математический журнал
  5. Таблично допустимые правила вывода : научное издание [статья из журнала]
    2009, Алгебра и логика
Показать ещё публикации
  1. Явный базис допустимых правил вывода табличных модальных логик ширины 2 : научное издание [статья из журнала]
    2009, Алгебра и логика
  2. An explicit basis for admissible inference rules in table modal logics of width 2 [статья из журнала]
    2009, ALGEBRA AND LOGIC
  3. Table admissible inference rules [статья из журнала]
    2009, ALGEBRA AND LOGIC
  4. An explicit basis for the admissible inference rules of the modal logics extending S4.1 And Grz [статья из журнала]
    2009, SIBERIAN MATHEMATICAL JOURNAL
  5. Явный базис допустимых правил вывода логик конечной ширины : научное издание [статья из журнала]
    2008, Журнал Сибирского федерального университета. Серия: Математика и физика
  6. Базисы допустимых правил K-насыщенных логик : научное издание [статья из журнала]
    2008, Алгебра и логика
  7. Bases of admissible rules for K-saturated logics [статья из журнала]
    2008, ALGEBRA AND LOGIC
  8. A note on globally admissible inference rules for modal and superintuitionistic logics : научное издание [статья из журнала]
    2005, Bulletin of the Section of Logic
  9. Preservation of Admissibility of Inference Rules in the Logics Similar to S4.2 : научное издание [статья из журнала]
    2002, Siberian Mathematical Journal
  10. Describing a Basis in Semireduced Form for Inference Rules of Intuitionistic Logic : научное издание [статья из журнала]
    2000, Algebra and Logic
  11. Finite bases with respect to admissibility for modal logics of width 2 : научное издание [статья из журнала]
    1999, Algebra and Logic
  12. Finite bases of admissible inference rules for modal logics of width 2 [статья из журнала]
    1997, Bulletin of the Section of Logic
  13. Нестандартные логические системы и правила вывода [отчёт о НИР]
    1996

Список публикаций сформирован в автоматическом режиме. Сообщите, если заметили неточности.

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

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