| J-Resolution Fields of Generalized Literals of L14 P（X） |
| |
| 引用本文： | 李晓冰,徐扬.J-Resolution Fields of Generalized Literals of L14 P（X）[J].西南交通大学学报(英文版),2007,15(4):357-360. |
| |
| 作者姓名： | 李晓冰 徐扬 |
| |
| 作者单位： | Intelligent Control Development Center Southwest Jiaotong University，Department of Applied Mathematics Southwest Jiaotong University，Chengdu 610031 China，Chengdu 610031 China |
| |
| 基金项目： | The Nationl Natural Science Foundation of China (No.60474022) |
| |
| 摘 要： | Introduction In order to study the lattice-valued logic system,Xu1]proposed the concept of lattice implication alge-bra by combining the lattice with the implication alge-bra and discussed its properties systematically. InRefs.2,3], a lattice-valued propositional logic sys-tem was established using the concepts of free alge-bra, which corresponds to the lattice implication alge-bra, and the semantic and syntactical problems of thissystem were discussed. Xu et al4]extended the reso-lution p…
|
| 关 键 词： | 滤波器 分辨率 常数 电器 |
| 文章编号： | 1005-2429（2007）04-0357-04 |
| 修稿时间： | 2006-06-26 |
J-Resolution Fields of Generalized Literals of L14 P(X) |
| |
| LI Xiao-bing,XU Yang.J-Resolution Fields of Generalized Literals of L14 P(X)[J].Journal of Southwest Jiaotong University,2007,15(4):357-360. |
| |
| Authors: | LI Xiao-bing XU Yang |
| |
| Institution: | 1. Intelligent Control Development Center,Southwest Jiaotong University,Chengdu,610031,China
2. Department of Applied Mathematics,Southwest Jiaowng University,Chengdu,610031,China |
| |
| Abstract: | To deal with automated reasoning of linguistic truth-valued lattice-valued logic system, a lattice implication algebra with 14 elements, L14, was defined, and the J-resolution fields of constants, propositional variables and some generalized literals of L14P(X), which is a lattice-valued propositional logic system with truth-values in L14, were discussed. There are 4 filters in L14. For any constant a not belonging to J, a and g (generalized literal of L14P(X)) form a J-resolution pair. For a propositional variable x, if x belongs to J and g does not belong to J, then x and g form a J-resolution pair. |
| |
| Keywords: | Constant Propositional variable Generalized literal Filter Resolution field |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
