Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (19): 52-54.DOI: 10.3778/j.issn.1002-8331.2009.19.015
• 研究、探讨 • Previous Articles Next Articles
HE Qian,LIU Ren-ren
Received:
Revised:
Online:
Published:
Contact:
何 骞,刘任任
通讯作者:
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.
摘要： 根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖，给出部分三值逻辑中Sheffer函数的判定算法。
HE Qian,LIU Ren-ren. Determinant algorithm of Sheffer function in partial three-valued logic[J]. Computer Engineering and Applications, 2009, 45(19): 52-54.
何 骞,刘任任. 部分三值逻辑中Sheffer函数的判定算法[J]. 计算机工程与应用, 2009, 45(19): 52-54.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/10.3778/j.issn.1002-8331.2009.19.015
http://cea.ceaj.org/EN/Y2009/V45/I19/52
