| 部分四值逻辑中L型函数集与拟线性函数集之确定 |
| |
| 引用本文： | 许芬,刘任任.部分四值逻辑中L型函数集与拟线性函数集之确定[J].海南师范大学学报(自然科学版),2006,19(1):23-25. |
| |
| 作者姓名： | 许芬 刘任任 |
| |
| 作者单位： | 1. 湘潭大学信息工程学院,湖南,湘潭,411105;海南师范学院计算机科学与教育技术系,海南,海口,571158
2. 湘潭大学信息工程学院,湖南,湘潭,411105 |
| |
| 基金项目： | 中国科学院资助项目
,
湖南省自然科学基金 |
| |
| 摘 要： | 根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决．
|
| 关 键 词： | 多值逻辑 L型函数集 拟线性函数集 |
| 文章编号： | 1671-8747(2005)04-0023-03 |
| 修稿时间： | 2005年10月30 |
The determination of l-type function set and pseudolinear function set in partial four-valued logic |
| |
| XU Fen,LIU Ren-ren.The determination of l-type function set and pseudolinear function set in partial four-valued logic[J].Journal of Hainan Normal University:Natural Science,2006,19(1):23-25. |
| |
| Authors: | XU Fen LIU Ren-ren |
| |
| Abstract: | According to the completeness theory in partial k-valued logic,L-type function set and pseudolinear function set in partial four-valued logic were determined,thus having pushed the complete solution of minimal coverings of precomplete sets in P_4(?). |
| |
| Keywords: | multiple-valued logic L-type function pseudolinear function |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
