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

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

Tishkovskii D. E.
On the Beth property in extension of Lukasiewicz logics

It is proved that a necessary condition for conservative axiomatic extensions of the infinite-valued (or n-valued) Lukasiewicz logic to possess the Beth definability property consists in the presence in the language of these extensions of a countable set (resp. a set of power n) of constant terms nonequivalent with respect to the given extensions.

Полный текст статьи / Full texts:

• PDF file (365 KB)
• PostScript file (702 KB)