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

Персоналии

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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

кандидат физико-математических наук (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	Цитирования
	2012
1.	А. В. Карпенко, “Интерполяция в слабо транзитивных модальных логиках”, Алгебра и логика, 51:2 (2012), 197–215 ; A. V. Karpenko, “Interpolation in weakly transitive modal logics”, Algebra and Logic, 51:2 (2012), 131–143	3
	2010
2.	А. В. Карпенко, Л. Л. Максимова, “Простые слабо транзитивные модальные алгебры”, Алгебра и логика, 49:3 (2010), 346–365 ; A. V. Karpenko, L. L. Maksimova, “Simple weakly transitive modal algebras”, Algebra and Logic, 49:3 (2010), 233–245	3
3.	А. В. Карпенко, “Интерполяционные свойства в расширениях логики неравенства”, Сиб. матем. журн., 51:3 (2010), 553–568 ; A. V. Karpenko, “Interpolation properties in the extensions of the logic of inequality”, Siberian Math. J., 51:3 (2010), 439–451	2
	2008
4.	А. В. Карпенко, “Слабое интерполяционное свойство в расширениях логик $S4$ и $K4$”, Алгебра и логика, 47:6 (2008), 705–722 ; A. V. Karpenko, “Weak interpolation in extensions of the logics $S4$ and $K4$”, Algebra and Logic, 47:6 (2008), 395–404	7

Организации

Обратная связь: