Римацкий Виталий Валентинович

Публикации в базе данных Math-Net.Ru

1. Admissible inference rules of temporal intransitive logic with the operator "tomorrow"
   
   Журн. СФУ. Сер. Матем. и физ., 17:3 (2024),  347–354
2. Допустимые правила вывода модальных WCP-логик
   
   Сиб. матем. журн., 65:1 (2024),  180–197
3. Явный базис $WCP$-глобально допустимых правил вывода
   
   Алгебра и логика, 62:2 (2023),  219–246
4. Satisfiability problem in interval FP-logic
   
   Известия Иркутского государственного университета. Серия Математика, 44 (2023),  98–107
5. Criterion of global admissibility for logic $\mathrm{IPC}$
   
   Журн. СФУ. Сер. Матем. и физ., 16:5 (2023),  620–627
6. Явный базис для допустимых правил $K$-насыщенных табличных логик
   
   Дискрет. матем., 34:1 (2022),  126–140
7. Глобально допустимые правила вывода
   
   Известия Иркутского государственного университета. Серия Математика, 42 (2022),  138–160
8. Description of modal logics which enjoy co-cover property
   
   Сиб. электрон. матем. изв., 19:1 (2022),  316–325
9. Допустимые правила вывода и семантические свойства модальных логик
   
   Известия Иркутского государственного университета. Серия Математика, 37 (2021),  104–117
10. Независимый базис допустимых правил вывода предтабличных логик и их расширений
    
    Сиб. электрон. матем. изв., 10 (2013),  79–89
11. Аксиоматизация линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени
    
    Сиб. матем. журн., 54:6 (2013),  1304–1314
12. Построение явного базиса для допустимых правил вывода модальных логик, расширяющих $S4.1$
    
    Дискрет. матем., 23:4 (2011),  48–65
13. Таблично допустимые правила вывода
    
    Алгебра и логика, 48:3 (2009),  400–414
14. Явный базис допустимых правил вывода табличных модальных логик ширины 2
    
    Алгебра и логика, 48:1 (2009),  122–148
15. Явный базис допустимых правил вывода модальных логик, расширяющих $S4.1$, $Grz$
    
    Сиб. матем. журн., 50:4 (2009),  872–882
16. Базисы допустимых правил $K$-насыщенных логик
    
    Алгебра и логика, 47:6 (2008),  750–761
17. Явный базис допустимых правил вывода логик конечной ширины
    
    Журн. СФУ. Сер. Матем. и физ., 1:1 (2008),  83–91
18. Сохранение допустимости правил вывода в логиках, родственных $S4.2$
    
    Сиб. матем. журн., 43:2 (2002),  446–453
19. Описание базиса в полу-редуцированной форме для правил вывода интуиционистской логики
    
    Алгебра и логика, 39:6 (2000),  720–740
20. О конечной базируемости по допустимости модальных логик ширины $2$
    
    Алгебра и логика, 38:4 (1999),  436–455
21. Базисы допустимых правил вывода табличных модальных логик глубины $2$
    
    Алгебра и логика, 35:5 (1996),  612–622