Публикации: Римацкий Виталий Валентинович

  1. НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ [статья из журнала]
    2013, Сибирские электронные математические известия
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  2. Аксиоматизация линейной логики знания и времени LTK r с интранзитивным отношением времени [статья из журнала]
    2013, Сибирский математический журнал
    присутствует в РИНЦ (eLIBRARY.RU) (1 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  3. 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 (2 цит.), Scopus (2 цит.), РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  4. Явный базис допустимых правил вывода модальных логик, расширяющих S4.1, Grz [статья из журнала]
    2009, Сибирский математический журнал
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  5. Таблично допустимые правила вывода [статья из журнала]
    2009, Алгебра и логика
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  6. Явный базис допустимых правил вывода табличных модальных логик ширины 2 [статья из журнала]
    2009, Алгебра и логика
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  7. 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)
  8. Table admissible inference rules [статья из журнала]
    2009, ALGEBRA AND LOGIC
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
  9. 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), Список ВАК
  10. Явный базис допустимых правил вывода логик конечной ширины [статья из журнала]
    2008, Журнал Сибирского федерального университета. Серия: Математика и физика
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  11. Базисы допустимых правил K-насыщенных логик [статья из журнала]
    2008, Алгебра и логика
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  12. Bases of admissible rules for K-saturated logics [статья из журнала]
    2008, ALGEBRA AND LOGIC
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
  13. A note on globally admissible inference rules for modal and superintuitionistic logics [статья из журнала]
    2005, Bulletin of the Section of Logic
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
  14. 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), Список ВАК
  15. Describing a Basis in Semireduced Form for Inference Rules of Intuitionistic Logic [статья из журнала]
    2000, Algebra and Logic
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  16. Finite bases with respect to admissibility for modal logics of width 2 [статья из журнала]
    1999, Algebra and Logic
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  17. Finite bases of admissible inference rules for modal logics of width 2 [статья из журнала]
    1997, Bulletin of the Section of Logic
    присутствует в Scopus (3 цит.), РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU)
  18. Нестандартные логические системы и правила вывода [отчёт о НИР]
    1996
    присутствует в РИНЦ (eLIBRARY.RU)

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.