- Признак наследования допустимых правил вывода для некоторых классов транзитивных модальных и суперинтуиционистских логик : препринт [препринт]2002присутствует в РИНЦ (eLIBRARY.RU)
- Построение явного базиса для правил вывода, допустимых в модальной логике К4 : препринт [препринт]2002присутствует в РИНЦ (eLIBRARY.RU)
- Критерий наследования допустимых правил вывода для модальной логики К4 : препринт [препринт]2002присутствует в РИНЦ (eLIBRARY.RU)
- An inheritance criterion for the admissible inference rules of K4 [статья из журнала]2002, Siberian Mathematical Journalприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.