RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2002 Volume 43, Number 1, Pages 183–187 (Mi smj1277)

On the Beth property in extension of Lukasiewicz logics

D. E. Tishkovsky

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

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.

UDC: 510.64

Received: 04.12.2000


 English version:
Siberian Mathematical Journal, 2002, 43:1, 147–150

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025