Голованова Е. М., “Критерий допустимости правил вывода для некоторого класса S4-логик, не обладающих свойством ветвления”, Сиб. мат. журнал, 44:4 (2003), 726–736
Е. М. Голованова, “Критерий допустимости правил вывода для некоторого класса $S4$-логик, не обладающих свойством ветвления”, Сиб. матем. журн., 44:4 (2003), 726–736; E. M. Golovanova, “A criterion for admissibility of inference rules in some class of $S4$-logics without the branching property”, Siberian Math. J., 44:4 (2003), 568–576
Обратная связь: