|
Сибирский математический журнал, 2002, том 43, номер 1, страницы 183–187
(Mi smj1277)
|
|
|
|
О свойстве Бета в расширениях логик Лукасевича
Д. Е. Тишковский Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Доказано, что необходимым условием того, чтобы консервативные аксиоматические расширения бесконечнозначной (или $n$-значной) логики Лукасевича обладали свойством определимости Бета, является наличие в языке этих расширений счетного множества (соответственно множества мощности $n$) неэквивалентных относительно данных расширений константных термов. Библиогр. 2.
Статья поступила: 04.12.2000
Образец цитирования:
Д. Е. Тишковский, “О свойстве Бета в расширениях логик Лукасевича”, Сиб. матем. журн., 43:1 (2002), 183–187; Siberian Math. J., 43:1 (2002), 147–150
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1277 https://www.mathnet.ru/rus/smj/v43/i1/p183
|
Статистика просмотров: |
Страница аннотации: | 182 | PDF полного текста: | 84 |
|