Abstract:
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.