О свойстве Бета в расширениях логик Лукасевича
Тишковский Д.Е.
Доказано, что необходимым условием того, чтобы консервативные аксиоматические расширения бесконечнозначной (или -значной) логики Лукасевича обладали свойством определимости Бета, является наличие в языке этих расширений счетного множества (соответственно множества мощности ) неэквивалентных относительно данных расширений константных термов.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.