О свойстве Бета в расширениях логик Лукасевича
Тишковский Д.Е.
Доказано, что необходимым условием того, чтобы консервативные аксиоматические расширения бесконечнозначной (или -значной) логики Лукасевича обладали свойством определимости Бета, является наличие в языке этих расширений счетного множества (соответственно множества мощности ) неэквивалентных относительно данных расширений константных термов.
Kategorien:
Jahr:
2000
Sprache:
russian
Seiten:
5
Datei:
PDF, 356 KB
IPFS:
,
russian, 2000