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


The closure operator in a multivalued logic based on functional equations
Authors:S. S. Marchenkov
Affiliation:1.Lomonosov Moscow State University,Leninskie gory, Moscow,Russia
Abstract:An operator of FE-closure is introduced on the set of functions of a multivalued logic based on the systems of functional equations. It is proved that, for every k ≥ 2, the FE-closure operator generates a finite classification on the set P k of functions of k-valued logic. The least class in this classification is shown to be the class H k of all homogeneous functions. Also a series of corollaries are obtained concerning the finite FE-generating sets in the FE-closed classes.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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