|
Sibirskii Matematicheskii Zhurnal, 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.
Received: 04.12.2000
Citation:
D. E. Tishkovsky, “On the Beth property in extension of Lukasiewicz logics”, Sibirsk. Mat. Zh., 43:1 (2002), 183–187; Siberian Math. J., 43:1 (2002), 147–150
Linking options:
https://www.mathnet.ru/eng/smj1277 https://www.mathnet.ru/eng/smj/v43/i1/p183
|
|