• DocumentCode
    1848837
  • Title

    Some results on the decision for Sheffer functions in partial K-valued logic. II

  • Author

    Renren, Liu

  • Author_Institution
    Dept. of Comput. Sci., Xiangtan Univ., China
  • fYear
    1998
  • fDate
    27-29 May 1998
  • Firstpage
    77
  • Lastpage
    81
  • Abstract
    In multiple-valued logic theories, the characterization of Sheffer (1913) functions is an important problem, it includes the decision and construction for Sheffer functions in Pk and Pk*. The solution of these problems depends on the solution of the decision problem of completeness in Pk and Pk*, and reduced to determining the minimal coverings of precomplete classes in Pk and Pk* respectively. In this paper, some full symmetric function sets are proved to be the component part of the minimal covering of precomplete classes in Pk*
  • Keywords
    multivalued logic; Sheffer functions; characterization; construction; decision; minimal covering; multiple-valued logic; partial K-valued logic; precomplete classes; symmetric function sets; Computer science; Internet; Logic functions;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1998. Proceedings. 1998 28th IEEE International Symposium on
  • Conference_Location
    Fukuoka
  • ISSN
    0195-623X
  • Print_ISBN
    0-8186-8371-6
  • Type

    conf

  • DOI
    10.1109/ISMVL.1998.679296
  • Filename
    679296
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1848837