|
|||||
|
|
| 基于格值逻辑系统LP(X)的α-归结域的代数结构 | |
| 作者姓名： | 刘熠 贾海瑞 秦晓燕 徐扬 |
| 作者单位： | 1. 内江师范学院数学与信息科学学院, 四川 内江 641112; 2. 西南交通大学智能控制开发中心, 四川 成都 610031 |
| 基金项目： | 国家自然科学基金资助项目（61175055）;四川省科技支撑计划资助项目（2011FZ0051）;四川省教育厅科研基金面上资助项目（11ZB023,12ZB263） |
| 摘 要： | 首先得到了与g不可α-归结的广义文字的集合D*α (g)做成了∨-半群且也是一个序滤子;其次研究了由D*α (g)所确定的一个新的代数结构Df,Df做成一个格滤子,并研究了Df的一些相关性质;最后研究了由Df所确定的代数结构κ(D),得到了κ(D)构成滤子并研究了κ(D)的结构。 |
| 关 键 词： | -归结 滤子 格值逻辑系统 格蕴涵代数 &alpha 归结域 |
| 收稿时间： | 2012-12-05 |
| 点击此处可从《山东大学学报(工学版)》浏览原始摘要信息 | |
| 点击此处可从《山东大学学报(工学版)》下载全文 | |