On the Beth Property in Extension of Lukasiewicz Logics |
| |
Authors: | D E Tishkovsky |
| |
Institution: | 1. Sobolev Institute of Mathematics, Russia
|
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |