| 格值命题逻辑LP(X)中不可分极简式的性质 |
| |
| 引用本文： | 王伟,徐扬,秦克云. 格值命题逻辑LP(X)中不可分极简式的性质[J]. 模糊系统与数学, 2004, 18(1): 47-52 |
| |
| 作者姓名： | 王伟 徐扬 秦克云 |
| |
| 作者单位： | 解放军外国语学院,基础部,河南,洛阳,471003;西南交通大学,应用数学系,四川,成都,610031 |
| |
| 基金项目： | 国家自然科学基金资助项目(60074014) |
| |
| 摘 要： | 基于格值命题逻辑LP(X)的α-归结原理及α-归结自动推理方法,能够较好地刻画具有可比较性和不可比较性的不确定性信息。LP(X)中的不可分极简式是一个非常重要的概念,本文对蕴涵运算个数小于3的不可分极简式的性质和判定方法进行了讨论,得到了一些重要结论。
|
| 关 键 词： | 格值命题逻辑 格蕴涵代数 命题变元 不可分极简式 |
| 文章编号： | 1001-7402(2004)01-0047-06 |
| 修稿时间： | 2002-04-24 |
The Properties of Indecomposable Extremely Simple Forms of Lattice-Valued Logic LP(X) |
| |
| WANG Wei,XU Yang,QIN Ke-yun. The Properties of Indecomposable Extremely Simple Forms of Lattice-Valued Logic LP(X)[J]. Fuzzy Systems and Mathematics, 2004, 18(1): 47-52 |
| |
| Authors: | WANG Wei XU Yang QIN Ke-yun |
| |
| Affiliation: | WANG Wei~1,XU Yang~2,QIN Ke-yun~2 |
| |
| Abstract: | |
| |
| Keywords: | Lattice-valued Logic Lattice Implication Algebra Propositional Variable Indecomposable (Extremely) Simple Form |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
