| 部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定 |
| |
| 引用本文： | 顾思思,刘任任.部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定[J].湘潭大学自然科学学报,2007,29(1):33-36. |
| |
| 作者姓名： | 顾思思 刘任任 |
| |
| 作者单位： | 湘潭大学信息工程学院,湖南,湘潭,411105 |
| |
| 摘 要： | 根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集.
|
| 关 键 词： | 多值逻辑 Sheffer函数 单纯可离关系 最小覆盖 |
| 文章编号： | 1000-5900（2007）01-0033-04 |
| 修稿时间： | 2006-10-10 |
The Decision of Minimal Covering of Function Classes Preserving Ternary Simply Separable Relations in Partial Four- Valued Logic |
| |
| GU Si - si,LIU Ren - ren.The Decision of Minimal Covering of Function Classes Preserving Ternary Simply Separable Relations in Partial Four- Valued Logic[J].Natural Science Journal of Xiangtan University,2007,29(1):33-36. |
| |
| Authors: | GU Si - si LIU Ren - ren |
| |
| Institution: | College of Information Engineering,Xiangtan University, Xiangtan 411105 China |
| |
| Abstract: | According to the completeness theory and concept of similar relationship in partialk-valued logic,all function sets preserving ternary simply separable relations inP4*was determined and proved to be minimal covering com-ponent of precomplete classes. |
| |
| Keywords: | multi-valued logic Sheffer function simply separable relation minimal covering |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《湘潭大学自然科学学报》浏览原始摘要信息 |
| 点击此处可从《湘潭大学自然科学学报》下载免费的PDF全文 |
