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


On function classes in P 3 precomplete with respect to a strengthened closure operator
Authors:A. A. Esin
Affiliation:1. Steklov Mathematical Institute, Russian Academy of Sciences, Steklov, Russia
Abstract:A classical theorem of Post [1] describes five precomplete classes in the set of Boolean functions. In [2], it was shown that there exist 18 precomplete classes of functions of three-valued logic. In [1, 2], the closure of sets of functions with respect to the substitution operator was studied. We consider two closure operators on functions of three-valued logic, which are obtained by supplementing the substitution operator by closures with respect to two identifications of function values, and prove the existence of three precomplete classes for one of these operators and five precomplete classes for the other.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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