���������� �. �.
� �������� ���� � ����������� ����� ����������

��������, ��� ����������� �������� ����, ����� �������������� ��������������� ���������� ����������������� (��� 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)