| Карпенко Анастасия Валерьевна
|
| кандидат физико-математических наук (2010)
|
Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения:
19.02.1986
E-mail: , ,
Ключевые слова: модальные логики,
модальные алгебры,
интерполяция,
амальгамируемость.
Коды УДК: 512.54, 510.64, 512.563, 510.6, 510.5, 510.643, 512.57
Основные темы научной работы: Интерполяционные свойства в модальных логиках.
Основные публикации:
-
А. В. Карпенко, Л. Л. Максимова, “Простые слабо транзитивные модальные алгебры”, Алгебра и логика, 49:3 (2010), 346–365
-
А. В. Карпенко, “Интерполяционные свойства в расширениях логики неравенства”, Сиб. матем. журн., 51:3 (2010), 553–568
-
А. В. Карпенко, “Слабое интерполяционное свойство в расширениях логик S4 и K4”, Алгебра и логика, 47:6 (2008), 705–722
Публикации в базе данных Math-Net.Ru
© , 2024
