1. Построение (формульного) базиса глобально допустимых правил логикиGrz : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
   Римацкий В. В.
   2025, Мальцевские чтения
   присутствует в РИНЦ (eLIBRARY.RU)
2. Разрешимость глобальной допустимости правил вывода в логике S4 : научное издание [статья из журнала]
   Римацкий Виталий Валентинович
   2025, Известия Иркутского государственного университета. Серия: Математика
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
3. Базис глобально допустимых правил логики S4 : научное издание [статья из журнала]
   Римацкий В. В.
   2024, Известия Иркутского государственного университета. Серия: Математика
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
4. Admissible Inference Rules of Modal WCP-Logics : научное издание [статья из журнала]
   Rimatskiy V. V.
   2024, Siberian Mathematical Journal
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
5. Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow" : научное издание [статья из журнала]
   Rimatsky V. V., Ganchukova O. V.
   2024, Journal of Siberian Federal University - Mathematics and Physics
   присутствует в Ядро РИНЦ (eLIBRARY.RU), Список ВАК
6. Допустимые правила вывода модальных WCP-логик : научное издание [статья из журнала]
   Римацкий В. В.
   2024, Сибирский математический журнал
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
7. Admissible inference rules of modal WCP-logics : научное издание [статья из журнала]
   Rimatskiy V. V.
   2024, Siberian Mathematical Journal
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
8. An Explicit Basis for WCP-Globally Admissible Inference Rules : научное издание [статья из журнала]
   Rimatskii V. V.
   2023, Algebra and Logic
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
9. Explicit basis for admissible rules in -saturated tabular logics : научное издание [статья из журнала]
   Rimatskii V. V.
   2023, Discrete Mathematics and Applications
   присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
10. Явный базис WCP-глобально допустимых правил вывода : научное издание [статья из журнала]
    Римацкий В. В.
    2023, Алгебра и логика
    присутствует в Scopus, РИНЦ (eLIBRARY.RU)
11. Structural completeness of reflexive temporal tomorrow - logic : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Rimatskiy V. V.
    2023
    присутствует в РИНЦ (eLIBRARY.RU)
12. Criterion of Global Admissibility for Logic IPC : научное издание [статья из журнала]
    Rimatskiy Vitaliy V.
    2023, Журнал Сибирского федерального университета. Серия: Математика и физика
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
13. Satisfiability Problem in Interval FP-logic : научное издание [статья из журнала]
    Protsenko Nikita A., Rybakov Vladimir V., Rimatskiy Vitaliy V.
    2023, Известия Иркутского государственного университета. Серия: Математика
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
14. Satisfiability problem in interval FP-logic : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Prozenko N. A., Rybakov V. V., Rimatskiy V. V.
    2022
    присутствует в РИНЦ (eLIBRARY.RU)
15. Глобально допустимые правила вывода : научное издание [статья из журнала]
    Римацкий Виталий Валентинович
    2022, Известия Иркутского государственного университета. Серия: Математика
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
16. DESCRIPTION OF MODAL LOGICS WHICH ENJOY CO-COVER PROPERTY [статья из журнала]
    Rimatskiy V. V.
    2022, Siberian Electronic Mathematical Reports
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
17. Явный базис для допустимых правил $K$-насыщенных табличных логик : научное издание [статья из журнала]
    Римацкий Виталий Валентинович
    2022, Дискретная математика
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
18. Допустимые правила вывода и семантические свойства модальных логик : научное издание [статья из журнала]
    Римацкий Виталий Валентинович
    2021, BULLETIN OF IRKUTSK STATE UNIVERSITY-SERIES MATHEMATICS
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
19. НЕЗАВИСИМЫЙ БАЗИС ДОПУСТИМЫХ ПРАВИЛ ВЫВОДА ПРЕДТАБЛИЧНЫХ ЛОГИК И ИХ РАСШИРЕНИЙ [статья из журнала]
    Римацкий Виталий Валентинович, Кияткин Владимир Ростиславович
    2013, Сибирские электронные математические известия
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
20. Аксиоматизация линейной логики знания и времени LTK r с интранзитивным отношением времени [статья из журнала]
    Лукьянчук Александра Николаевна, Римацкий Виталий Валентинович
    2013, Сибирский математический журнал
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
21. An axiomatization for the linear logic of knowledge and time LTK (r) with intransitive time relation [статья из журнала]
    Luk'yanchuk A. N., Rimatskii V. V.
    2013, SIBERIAN MATHEMATICAL JOURNAL
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
22. On construction of an explicit basis for admissible inference rules of modal logics extending S4.1 : научное издание [статья из журнала]
    Rimatskii V. V.
    2011, Discrete Mathematics and Applications
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
23. Построение явного базиса для допустимых правил вывода модальных логик, расширяющих S4.1 [статья из журнала]
    Римацкий Виталий Валентинович
    2011, Дискретная математика
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
24. Явный базис допустимых правил вывода модальных логик, расширяющих S4.1, Grz : научное издание [статья из журнала]
    Римацкий Виталий Валентинович
    2009, Сибирский математический журнал
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
25. Таблично допустимые правила вывода : научное издание [статья из журнала]
    Римацкий Виталий Валентинович
    2009, Алгебра и логика
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
26. Явный базис допустимых правил вывода табличных модальных логик ширины 2 : научное издание [статья из журнала]
    Римацкий Виталий Валентинович
    2009, Алгебра и логика
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
27. An explicit basis for admissible inference rules in table modal logics of width 2 [статья из журнала]
    Rimatskii V. V.
    2009, ALGEBRA AND LOGIC
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
28. Table admissible inference rules [статья из журнала]
    Rimatskii V. V.
    2009, ALGEBRA AND LOGIC
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
29. An explicit basis for the admissible inference rules of the modal logics extending S4.1 And Grz [статья из журнала]
    Rimatskii V. V.
    2009, SIBERIAN MATHEMATICAL JOURNAL
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
30. Явный базис допустимых правил вывода логик конечной ширины : научное издание [статья из журнала]
    Римацкий Виталий В.
    2008, Журнал Сибирского федерального университета. Серия: Математика и физика
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
31. Базисы допустимых правил K-насыщенных логик : научное издание [статья из журнала]
    Римацкий Виталий Валентинович
    2008, Алгебра и логика
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
32. Bases of admissible rules for K-saturated logics [статья из журнала]
    Rimatskii V. V.
    2008, ALGEBRA AND LOGIC
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU)
33. A note on globally admissible inference rules for modal and superintuitionistic logics : научное издание [статья из журнала]
    Rimatski V. V., Rybakov V. V.
    2005, Bulletin of the Section of Logic
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
34. Preservation of Admissibility of Inference Rules in the Logics Similar to S4.2 : научное издание [статья из журнала]
    Rybakov V. V., Rimatskii V. V.
    2002, Siberian Mathematical Journal
    присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
35. Допустимые правила вывода в нестандартных логиках и их базисы : автореферат дис. ... кандидата физико-математических наук [диссертация]
    Римацкий Виталий Валентинович
    2000
    присутствует в РИНЦ (eLIBRARY.RU)
36. Допустимые правила вывода в нестандартных логиках и их базисы : диссертация на соискание ученой степени кандидата физико-математических наук [диссертация]
    Римацкий Виталий Валентинович
    2000
    присутствует в РИНЦ (eLIBRARY.RU)
37. Describing a Basis in Semireduced Form for Inference Rules of Intuitionistic Logic : научное издание [статья из журнала]
    Rybakov V. V., Terziler M., Rimatskii V. V.
    2000, Algebra and Logic
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
38. Finite bases with respect to admissibility for modal logics of width 2 : научное издание [статья из журнала]
    Rimatskii V. V.
    1999, Algebra and Logic
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
39. Finite bases of admissible inference rules for modal logics of width 2 [статья из журнала]
    Rimatskiy V. V.
    1997, Bulletin of the Section of Logic
    присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
40. Bases of admissible inference rules for table modal logics of depth 2 : научное издание [статья из журнала]
    Rimatskii V V
    1996, Algebra and Logic
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
41. Нестандартные логические системы и правила вывода [отчёт о НИР]
    Рыбаков В. В., Бабенышев С. В., Безгачева Ю. В., Голованов М. И., Кияткин В. Р., Римацкий В. В.
    1996
    присутствует в РИНЦ (eLIBRARY.RU)

Список публикаций автора сформирован в автоматическом режиме. Сообщите, если заметили неточности. Если это ваши публикации, то вы можете войти на сайт под своей учётной записью с помощью формы вверху страницу и отредактировать список публикаций самостоятельно.

Справка для редакторов сайтов и программистов об экспорте списка публикаций на сторонние сайты.