- АКСИОМАТИЗАЦИЯ ИНТУИЦИОНИСТСКИХ ЛОГИК, ОПРЕДЕЛЯЕМЫХ МАЛЫМИ ФРЕЙМАМИ : научное издание [статья из журнала]2017, Математические заметки СВФУприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Аналитическая геометрия : методическое пособие [методическое пособие]2012присутствует в РИНЦ (eLIBRARY.RU)
- Logic of visibility, perception, and knowledge and admissible inference rules [статья из журнала]2005, LOGIC JOURNAL OF THE IGPLприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Критерий допустимости правил вывода логики с оператором "Завтра" : препринт [препринт]2004присутствует в РИНЦ (eLIBRARY.RU)
- A necessary condition for rules to be admissible in temporal tomorrow-logic [статья из журнала]2003, Bulletin of the Section of Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Admissible inference rules for polymodal logic S5nC : научное издание [статья из журнала]1997, Algebra and Logicприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Poly-modal logic S5 nC [статья из журнала]1997, SUT Journal of Mathematicsприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Bimodal propositional logic S52Cn1 : научное издание [статья из журнала]1997, Bulletin of the Section of Logicприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Finite bases of admissible rules for the logic S52C : научное издание [статья из журнала]1997, Lecture Notes in Computer Scienceприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Нестандартные логические системы и правила вывода [отчёт о НИР]1996присутствует в РИНЦ (eLIBRARY.RU)
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.