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