| 基于语言真值格值命题逻辑系统(e)vpl的推理规则 |
| |
| 引用本文： | 赖家俊,徐扬. 基于语言真值格值命题逻辑系统(e)vpl的推理规则[J]. 计算机科学, 2008, 35(9) |
| |
| 作者姓名： | 赖家俊 徐扬 |
| |
| 基金项目： | 国家自然科学基金，高等学校博士学科点专项科研项目 |
| |
| 摘 要： | 一个逻辑系统在实际应用中,推理规则的选取往往很重要.本文基于语言真值格值命题逻辑系统ípl,提出了几种推理规则,这些推理规则包含有语义和语法,且它们之间具备协调水平的特性,证明了推理规则在一定程度上具备闭性特性.
|
| 关 键 词： | 语言真值蕴涵代数 语言真值命题逻辑 推理规则 闭性 |
Rules of Reasoning Based on Linguistic Truth-valued Lattice Value Propositional Logic System (e)vpl |
| |
| LAI Jia-jun,XU Yang. Rules of Reasoning Based on Linguistic Truth-valued Lattice Value Propositional Logic System (e)vpl[J]. Computer Science, 2008, 35(9) |
| |
| Authors: | LAI Jia-jun XU Yang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
