RUS  ENG
Полная версия
ПЕРСОНАЛИИ

Юн Вета Федоровна

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

  1. Интерполяционное свойство Крейга в предтабличных логиках

    Сиб. матем. журн., 65:2 (2024),  349–357
  2. Предтабличность и интерполяционное свойство Крейга

    Алгебра и логика, 62:3 (2023),  415–423
  3. Предтабличность и интерполяционное свойство Крейга над минимальной логикой

    Сиб. электрон. матем. изв., 20:1 (2023),  245–250
  4. Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4

    Сиб. матем. журн., 63:2 (2022),  344–359
  5. Гибридные расширения минимальной логики

    Сиб. матем. журн., 62:5 (2021),  1084–1090
  6. Perceptibility in pre-Heyting logics

    Сиб. электрон. матем. изв., 17 (2020),  1064–1072
  7. Проблема интерполяции в конечнослойных предгейтинговых логиках

    Алгебра и логика, 58:2 (2019),  210–228
  8. Узнаваемость в предгейтинговых и стройных логиках

    Сиб. электрон. матем. изв., 16 (2019),  427–434
  9. Сильная вычислимость слоев над логикой $\mathrm{GL}$

    Сиб. электрон. матем. изв., 15 (2018),  35–47
  10. Расширения минимальной логики и проблема интерполяции

    Сиб. матем. журн., 59:4 (2018),  863–878
  11. Узнаваемость всех WIP-минимальных логик

    Сиб. матем. журн., 59:1 (2018),  225–237
  12. Сильная разрешимость и сильная узнаваемость

    Алгебра и логика, 56:5 (2017),  559–581
  13. Слои и уровни расширений минимальной логики

    Сиб. матем. журн., 58:6 (2017),  1341–1353
  14. Слои над минимальной логикой

    Алгебра и логика, 55:4 (2016),  449–464
  15. Исчисления над минимальной логикой и невложимость алгебр

    Сиб. электрон. матем. изв., 13 (2016),  704–715
  16. Проблема табличности над минимальной логикой

    Сиб. матем. журн., 57:6 (2016),  1320–1332
  17. Узнаваемые логики

    Алгебра и логика, 54:2 (2015),  252–274
  18. Полимодальная логика индуктивных линейных по времени фреймов

    Сиб. электрон. матем. изв., 12 (2015),  421–431
  19. WIP-минимальные логики и интерполяция

    Сиб. электрон. матем. изв., 12 (2015),  7–20
  20. О линейной логике знания и времени с интранзитивным отношением времени

    Сиб. матем. журн., 56:3 (2015),  715–719
  21. Интерполяция над минимальной логикой и интервалы Одинцова

    Сиб. матем. журн., 56:3 (2015),  600–616
  22. Временная логика индуктивных фреймов с линейным временем

    Сиб. электрон. матем. изв., 7 (2010),  445–457
  23. Временная логика линейных по времени фреймов с аксиомой индукции

    Сиб. электрон. матем. изв., 6 (2009),  312–325

  24. Лариса Львовна Максимова (некролог)

    УМН, 80:3(483) (2025),  179–182


© МИАН, 2026