• DocumentCode
    1838881
  • Title

    Some results on the decision and construction for Sheffer functions in partial k-valued logic

  • Author

    Renren, Liu

  • Author_Institution
    Dept. of Comput. Sci., Xiangtan Univ., Hunan, China
  • fYear
    1993
  • fDate
    24-27 May 1993
  • Firstpage
    111
  • Lastpage
    116
  • Abstract
    Decisions and construction for Sheffer functions in Pk and Pk* in partial k-valued logic are considered. The solution of these problems depends on the solution of the decision problem of completeness in P k and Pk* and is reduced to determining the minimal coverings of precomplete classes in P k and Pk*, respectively. The pseudo-linear function set denoted by Lp is proved here to be the component part of the minimal covering of precomplete classes in Pk*
  • Keywords
    decision theory; many-valued logics; Sheffer functions; completeness; decision problem; minimal coverings; partial k-valued logic; precomplete classes; pseudo-linear function set; Chromium; Computer science; Logic functions; Tellurium;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1993., Proceedings of The Twenty-Third International Symposium on
  • Conference_Location
    Sacramento, CA
  • Print_ISBN
    0-8186-3350-6
  • Type

    conf

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