首页 | 本学科首页   官方微博 | 高级检索  
     检索      


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号