RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив

Сиб. матем. журн., 2002, том 43, номер 1, страницы 183–187 (Mi smj1277)

О свойстве Бета в расширениях логик Лукасевича

Д. Е. Тишковский

Институт математики им. С. Л. Соболева СО РАН

Аннотация: Доказано, что необходимым условием того, чтобы консервативные аксиоматические расширения бесконечнозначной (или $n$-значной) логики Лукасевича обладали свойством определимости Бета, является наличие в языке этих расширений счетного множества (соответственно множества мощности $n$) неэквивалентных относительно данных расширений константных термов. Библиогр. 2.

УДК: 510.64

Статья поступила: 04.12.2000


 Англоязычная версия: Siberian Mathematical Journal, 2002, 43:1, 147–150

Реферативные базы данных:


© МИАН, 2024