|
|||||
|
|
| L~*系统的半对偶形式系统S“非汉字符号”~* | |
| 引用本文： | 吴洪博,陈景林.L~*系统的半对偶形式系统S“非汉字符号”~*[J].陕西师范大学学报,2001(4). |
| 作者姓名： | 吴洪博 陈景林 |
| 作者单位： | 陕西师范大学数学研究所 陕西西安710062 (吴洪博)，唐山师范学院数学系 河北唐山063000(陈景林) |
| 摘 要： | 研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .为形式演绎系统的研究和应用提供了一个有益的途径 |
| 关 键 词： | 命题演算 形式演绎系统L 半对偶形式演绎系统SL- 并推理规则 |
| 本文献已被 CNKI 等数据库收录！ | |