Юрасова Екатерина Михайловна

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

1. Критерий допустимости правил вывода для некоторого класса $S4$-логик, не обладающих свойством ветвления
   
   Сиб. матем. журн., 44:4 (2003),  726–736