| 基于格值逻辑系统LP(X)的α-归结域的代数结构 |
| |
| 引用本文： | 刘熠,贾海瑞,秦晓燕,徐扬.基于格值逻辑系统LP(X)的α-归结域的代数结构[J].山东大学学报(工学版),2013,43(3):13-18. |
| |
| 作者姓名： | 刘熠 贾海瑞 秦晓燕 徐扬 |
| |
| 作者单位： | 1. 内江师范学院数学与信息科学学院, 四川 内江 641112; 2. 西南交通大学智能控制开发中心, 四川 成都 610031 |
| |
| 基金项目： | 国家自然科学基金资助项目（61175055）；四川省科技支撑计划资助项目（2011FZ0051）；四川省教育厅科研基金面上资助项目（11ZB023,12ZB263） |
| |
| 摘 要： | 首先得到了与g不可α-归结的广义文字的集合D*α (g)做成了∨-半群且也是一个序滤子;其次研究了由D*α (g)所确定的一个新的代数结构Df,Df做成一个格滤子,并研究了Df的一些相关性质;最后研究了由Df所确定的代数结构κ(D),得到了κ(D)构成滤子并研究了κ(D)的结构。
|
| 关 键 词： | -归结 滤子 格值逻辑系统 格蕴涵代数 &alpha 归结域 |
| 收稿时间： | 2012-12-05 |
The algebraic structure of α-resolution fields based on lattice-valued logic systems LP(X) |
| |
| LIU Yi,JIA Hai-rui,QIN Xiao-yan,XU Yang.The algebraic structure of α-resolution fields based on lattice-valued logic systems LP(X)[J].Journal of Shandong University of Technology,2013,43(3):13-18. |
| |
| Authors: | LIU Yi JIA Hai-rui QIN Xiao-yan XU Yang |
| |
| Affiliation: | 1.College of Mathematics and Information Sciences, Neijiang Normal University, Neijiang 641112, China;
2. Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China |
| |
| Abstract: | First, the generalized literals set D*α (g), which couldn′t be α-resolved with a fixed generalized literal g, was a ∨-semigroup and an order filter. Second, a new algebraic structure Df determined by D*α(g) was a lattice filter, and the properties of Df were investigated. Finally, the algebraic structure κ(D) was determined by Df, the fact that κ(D) was a filter was obtained and the structure of κ(D) was studied. |
| |
| Keywords: | filter α-resolution lattice-valued logic systems resolution field lattice implication algebras |
|
| 点击此处可从《山东大学学报(工学版)》浏览原始摘要信息 |
|
点击此处可从《山东大学学报(工学版)》下载全文 |
|
