In completeness theories of multiple-valued logic, the characterization of Sheffer functions is an important issue. The solution can be reduced to determining the minimal coverings of precomplete classes. In this pape...In completeness theories of multiple-valued logic, the characterization of Sheffer functions is an important issue. The solution can be reduced to determining the minimal coverings of precomplete classes. In this paper, someFull Symmetric Function Sets (m=3) are proved to be components of the minimal covering of precomplete classes inP k * . Keywords multiple-valued logic - completeness - Sheffer function - precomplete class NoteThis work is supported by the National Natural Science Foundation of China (Grant Nos.60083001 and 60375021).展开更多
文摘In completeness theories of multiple-valued logic, the characterization of Sheffer functions is an important issue. The solution can be reduced to determining the minimal coverings of precomplete classes. In this paper, someFull Symmetric Function Sets (m=3) are proved to be components of the minimal covering of precomplete classes inP k * . Keywords multiple-valued logic - completeness - Sheffer function - precomplete class NoteThis work is supported by the National Natural Science Foundation of China (Grant Nos.60083001 and 60375021).
基金国家自然科学基金(the National Natural Science Foundation of China under Grant No.60083001)湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.03JJY3099)湘潭大学(No.04XZX02)(划块类型)
基金国家自然科学基金(the National Natural Science Foundation of China under Grant No.60083001)湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.03JJY3099)湘潭大学(04XZX02)
