- Formulas Expressing Totally Nonstable Truth Values of Formulas : научное издание [статья из журнала]2023, Известия Иркутского государственного университета. Серия: Математикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Logic with permanently unstable information : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2022присутствует в РИНЦ (eLIBRARY.RU)
- Satisfiability in a Temporal Multi-valueted Logic Based on Z [статья из журнала]2022, Journal of Siberian Federal University - Mathematics and Physicsприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Выполнимость во временной логике с мультиозначиванием, основанной на Z : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2020, МАЛЬЦЕВСКИЕ ЧТЕНИЯприсутствует в РИНЦ (eLIBRARY.RU)
- НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ [статья из журнала]2013, Сибирские электронные математические известияприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Residual Finiteness for Admissible Inference Rules : научное издание [статья из журнала]2001, Algebra and Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Independent bases for admissible rules in pretable logics : научное издание [статья из журнала]2000, Algebra and Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- On finite model property for admissible rules [статья из журнала]1999, MATHEMATICAL LOGIC QUARTERLYприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Нестандартные логические системы и правила вывода [отчёт о НИР]1996присутствует в РИНЦ (eLIBRARY.RU)
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.