计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (19): 52-54.DOI: 10.3778/j.issn.1002-8331.2009.19.015

• 研究、探讨 • 上一篇    下一篇

部分三值逻辑中Sheffer函数的判定算法

何 骞,刘任任   

  1. 湘潭大学 信息工程学院,湖南 湘潭 411105
  • 收稿日期:2008-04-18 修回日期:2008-07-10 出版日期:2009-07-01 发布日期:2009-07-01
  • 通讯作者: 何 骞

Determinant algorithm of Sheffer function in partial three-valued logic

HE Qian,LIU Ren-ren   

  1. Institute of Information Engineering,Xiangtan University,Xiangtan,Hunan 411105,China
  • Received:2008-04-18 Revised:2008-07-10 Online:2009-07-01 Published:2009-07-01
  • Contact: HE Qian

摘要: 根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。

Abstract: The determinant algorithm of the Sheffer function in partial three-valued Logic is given,based on the completeness theory in partial k-valued logic and the minimal covering of precomplete sets in partial three-valued logic.