Карпенко Анастасия Валерьевна

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

1. Интерполяция в слабо транзитивных модальных логиках
   
   Алгебра и логика, 51:2 (2012),  197–215
2. Простые слабо транзитивные модальные алгебры
   
   Алгебра и логика, 49:3 (2010),  346–365
3. Интерполяционные свойства в расширениях логики неравенства
   
   Сиб. матем. журн., 51:3 (2010),  553–568
4. Слабое интерполяционное свойство в расширениях логик $S4$ и $K4$
   
   Алгебра и логика, 47:6 (2008),  705–722