СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Тишковский Д. Е. О свойстве Бета в расширениях логик Лукасевича // Том 43 (2002), Номер 1, стр. 183–187
Доказано, что необходимым условием того, чтобы
консервативные аксиоматические расширения
бесконечнозначной (или $n$-значной) логики Лукасевича
обладали свойством определимости Бета,
является наличие в языке этих расширений
счетного множества
(соответственно множества мощности $n$)
неэквивалентных относительно данных расширений
константных термов.
Библиогр.~2.
© Сибирский Математический Журнал, 2003-2006