|
Сибирский математический журнал, 2008, том 49, номер 1, страницы 183–188
(Mi smj1831)
|
|
|
|
Отсутствие интерполяционного свойства для исчислений $L\alpha$ и $Lf$
В. Ф. Мурзина Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Доказывается отсутствие интерполяционного свойства Крейга для полимодальных исчислений, связанных с некоторыми пространствами Ершова.
Ключевые слова:
модальная логика, интерполяционное свойство, топологическое пространство.
Статья поступила: 10.07.2006
Образец цитирования:
В. Ф. Мурзина, “Отсутствие интерполяционного свойства для исчислений $L\alpha$ и $Lf$”, Сиб. матем. журн., 49:1 (2008), 183–188; Siberian Math. J., 49:1 (2008), 147–151
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1831 https://www.mathnet.ru/rus/smj/v49/i1/p183
|
|