Karpenko Anastasiya Valer'evna
|
Candidate of physico-mathematical sciences (2010)
|
Speciality:
01.01.06 (Mathematical logic, algebra, and number theory)
Birth date:
19.02.1986
E-mail: , ,
Keywords: modal logics,
modal algebras,
interpolation,
amalgamation.
UDC: 512.54, 510.64, 512.563, 510.6, 510.5, 510.643, 512.57
Subject: Interpolation in modal logic.
Main publications:
-
A. V. Karpenko, L. L. Maksimova, “Prostye slabo tranzitivnye modalnye algebry”, Algebra i logika, 49:3 (2010), 346–365
-
A. V. Karpenko, “Interpolyatsionnye svoistva v rasshireniyakh logiki neravenstva”, Sib. matem. zhurn., 51:3 (2010), 553–568
-
A. V. Karpenko, “Slaboe interpolyatsionnoe svoistvo v rasshireniyakh logik S4 i K4”, Algebra i logika, 47:6 (2008), 705–722
Publications in Math-Net.Ru
© , 2024