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