- Admissible Inference Rules of Modal WCP-Logics : научное издание [статья из журнала]2024, Siberian Mathematical Journalприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow" : научное издание [статья из журнала]2024, Journal of Siberian Federal University - Mathematics and Physicsприсутствует в Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Допустимые правила вывода модальных WCP-логик : научное издание [статья из журнала]2024, Сибирский математический журналприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Admissible inference rules of modal WCP-logics : научное издание [статья из журнала]2024, Siberian Mathematical Journalприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- An Explicit Basis for WCP-Globally Admissible Inference Rules : научное издание [статья из журнала]2023, Algebra and Logicприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Explicit basis for admissible rules in -saturated tabular logics : научное издание [статья из журнала]2023, Discrete Mathematics and Applicationsприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Явный базис WCP-глобально допустимых правил вывода : научное издание [статья из журнала]2023, Алгебра и логикаприсутствует в Scopus, РИНЦ (eLIBRARY.RU)
- Structural completeness of reflexive temporal tomorrow - logic : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2023присутствует в РИНЦ (eLIBRARY.RU)
- Criterion of Global Admissibility for Logic IPC : научное издание [статья из журнала]2023, Журнал Сибирского федерального университета. Серия: Математика и физикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Satisfiability Problem in Interval FP-logic : научное издание [статья из журнала]2023, Известия Иркутского государственного университета. Серия: Математикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Satisfiability problem in interval FP-logic : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2022присутствует в РИНЦ (eLIBRARY.RU)
- Глобально допустимые правила вывода : научное издание [статья из журнала]2022, Известия Иркутского государственного университета. Серия: Математикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- DESCRIPTION OF MODAL LOGICS WHICH ENJOY CO-COVER PROPERTY [статья из журнала]2022, Siberian Electronic Mathematical Reportsприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Явный базис для допустимых правил $K$-насыщенных табличных логик : научное издание [статья из журнала]2022, Дискретная математикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Допустимые правила вывода и семантические свойства модальных логик : научное издание [статья из журнала]2021, BULLETIN OF IRKUTSK STATE UNIVERSITY-SERIES MATHEMATICSприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
- НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ [статья из журнала]2013, Сибирские электронные математические известияприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Аксиоматизация линейной логики знания и времени LTK r с интранзитивным отношением времени [статья из журнала]2013, Сибирский математический журналприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- An axiomatization for the linear logic of knowledge and time LTK (r) with intransitive time relation [статья из журнала]2013, SIBERIAN MATHEMATICAL JOURNALприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- On construction of an explicit basis for admissible inference rules of modal logics extending S4.1 : научное издание [статья из журнала]2011, Discrete Mathematics and Applicationsприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Построение явного базиса для допустимых правил вывода модальных логик, расширяющих S4.1 [статья из журнала]2011, Дискретная математикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Явный базис допустимых правил вывода модальных логик, расширяющих S4.1, Grz : научное издание [статья из журнала]2009, Сибирский математический журналприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Таблично допустимые правила вывода : научное издание [статья из журнала]2009, Алгебра и логикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Явный базис допустимых правил вывода табличных модальных логик ширины 2 : научное издание [статья из журнала]2009, Алгебра и логикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- An explicit basis for admissible inference rules in table modal logics of width 2 [статья из журнала]2009, ALGEBRA AND LOGICприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
- Table admissible inference rules [статья из журнала]2009, ALGEBRA AND LOGICприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
- An explicit basis for the admissible inference rules of the modal logics extending S4.1 And Grz [статья из журнала]2009, SIBERIAN MATHEMATICAL JOURNALприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Явный базис допустимых правил вывода логик конечной ширины : научное издание [статья из журнала]2008, Журнал Сибирского федерального университета. Серия: Математика и физикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Базисы допустимых правил K-насыщенных логик : научное издание [статья из журнала]2008, Алгебра и логикаприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Bases of admissible rules for K-saturated logics [статья из журнала]2008, ALGEBRA AND LOGICприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
- A note on globally admissible inference rules for modal and superintuitionistic logics : научное издание [статья из журнала]2005, Bulletin of the Section of Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Preservation of Admissibility of Inference Rules in the Logics Similar to S4.2 : научное издание [статья из журнала]2002, Siberian Mathematical Journalприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Допустимые правила вывода в нестандартных логиках и их базисы : автореферат дис. ... кандидата физико-математических наук [диссертация]2000присутствует в РИНЦ (eLIBRARY.RU)
- Допустимые правила вывода в нестандартных логиках и их базисы : диссертация на соискание ученой степени кандидата физико-математических наук [диссертация]2000присутствует в РИНЦ (eLIBRARY.RU)
- Describing a Basis in Semireduced Form for Inference Rules of Intuitionistic Logic : научное издание [статья из журнала]2000, Algebra and Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Finite bases with respect to admissibility for modal logics of width 2 : научное издание [статья из журнала]1999, Algebra and Logicприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Finite bases of admissible inference rules for modal logics of width 2 [статья из журнала]1997, Bulletin of the Section of Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
- Нестандартные логические системы и правила вывода [отчёт о НИР]1996присутствует в РИНЦ (eLIBRARY.RU)
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.