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