|
|||||
|
|
| 基于格值逻辑系统LP(Ⅹ)的α-归结域的代数结构 | |
| 引用本文： | 刘熠,贾海瑞,秦晓燕,徐扬.基于格值逻辑系统LP(Ⅹ)的α-归结域的代数结构[J].山东大学学报(工学版),2013,43(3). |
| 作者姓名： | 刘熠 贾海瑞 秦晓燕 徐扬 |
| 作者单位： | 1. 内江师范学院数学与信息科学学院,四川内江641112;西南交通大学智能控制开发中心,四川成都610031 2. 西南交通大学智能控制开发中心,四川成都,610031 |
| 基金项目： | 国家自然科学基金资助项目，四川省科技支撑计划资助项目，四川省教育厅科研基金面上资助项目 |
| 摘 要： | 首先得到了与g不可α-归结的广义文字的集合Dα*(g)做成了V-半群且也是一个序滤子；其次研究了由Dα*(g)所确定的一个新的代数结构Df,Df做成一个格滤子,并研究了Df的一些相关性质；最后研究了由Df所确定的代数结构κ(D),得到了κ(D)构成滤子并研究了κ(D)的结构. |
| 关 键 词： | 格蕴涵代数 格值逻辑系统 α-归结 归结域 滤子 |
| 本文献已被 万方数据 等数据库收录！ | |