Дата рождения:
19.10.1979
E-mail: Ключевые слова: допустимость, доказуемость, структурная полнота.
Основные темы научной работы:
Правила вывода в нестандартных логиках.
Основные публикации:
Голованова Е. М., “Критерий допустимости правил вывода для некоторого класса S4-логик, не обладающих свойством ветвления”, Сиб. мат. журнал, 44:4 (2003), 726–736