Поле |
Инд. |
ПП |
Название |
Значение |
|
|
|
Тип записи |
a |
|
|
|
Библиографический уровень |
a |
001 |
|
|
Контрольный номер |
aa0167872b47441ea834ab9acf26748e |
005 |
|
|
Дата корректировки |
20231023123532.0 |
020 |
|
a |
ISBN |
5-230-08552-5 |
040 |
|
a |
Служба первич. каталог. |
НБ ТвГУ |
|
|
b |
Код языка каталог. |
rus |
|
|
e |
Правила каталог. |
PSBO |
041 |
0_ |
a |
Код языка текста |
rus |
097 |
|
b |
Оператор |
Shalygina.EA |
100 |
1_ |
a |
Автор |
Чагров Александр Васильевич |
|
|
q |
Полное имя |
Чагров А. В. |
245 |
10 |
a |
Заглавие |
О рекурсивной аппроксимируемости модальных и суперинтуиционистских логик |
260 |
|
a |
Место издания |
Тверь |
|
|
b |
Издательство |
Тверской государственный университет |
504 |
|
a |
Библиография |
Библиогр.: с. 96-97 |
520 |
0_ |
a |
Аннотация |
Найдены неразрешимые логики, задаваемые рекурсивными классами конечных шкал. Показано, что в классе логик ширины 3 существуют логики, не аппроксимируемые рекурсивными алгебрами и не аппроксимируемые рекурсивными шкалами. |
653 |
0_ |
a |
Ключевые слова |
Алгебраические конструкции |
|
|
a |
Ключевые слова |
Логические конструкции |
|
|
a |
Ключевые слова |
Суперинтуиционистские логики |
|
|
a |
Ключевые слова |
Модальные логики |
|
|
a |
Ключевые слова |
Аппроксимируемость |
|
|
a |
Ключевые слова |
Труды Тверского государственного университета |
773 |
18 |
w |
Контрольный № источника |
1d8d8438-d122-480e-922c-e4bc5927cfa9 |
|
|
t |
Название источника |
Алгебраические и логические конструкции |
|
|
d |
Место и дата издания |
Тверь : Тверской государственный университет, 1994 |
|
|
g |
Прочая информация |
С. 91-97 |
901 |
|
t |
Тип документа |
a |
920 |
|
a |
Оператор |
Шалы |