|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Максимова Л. Л. Явные определения неявно определимых объектов в некоторых модальных логиках //
Том 38 (1997), Номер 3,
стр. 598602
Ранее автором было показано, что в любом нормальном расширении пропозициональной модальной логики $K4$ имеет место некоторый аналог теоремы Бета о неявной определимости. Однако доказательство этой теоремы, данное автором, не давало способа построения явного определения объекта по его неявному описанию. В данной статье найден явный вид определений неявно определимых объектов для модальных логик, характеризуемых транзитивными и антисимметричными шкалами Крипке с ограниченной длиной цепей. Библиогр.~7.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|