| 形式模糊命题逻辑中的机械推导算法 |
| |
| 引用本文： | 邓安生 李业丽. 形式模糊命题逻辑中的机械推导算法[J]. 松辽学刊, 1992, 0(1): 28-30,33 |
| |
| 作者姓名： | 邓安生 李业丽 |
| |
| 作者单位： | 东北师范大学(邓安生)，四平师范学院(李业丽) |
| |
| 摘 要： |
|
| 关 键 词： | 模糊命题逻辑 公式行 相继式 |
A MECHANICAL DEDUCTION ALGORITHM IN FUZZY PROPOSITIONAL LOGIC |
| |
| Deng Ausheng Li Yeli. A MECHANICAL DEDUCTION ALGORITHM IN FUZZY PROPOSITIONAL LOGIC[J]. Songliao Journal (Natural Science Edition), 1992, 0(1): 28-30,33 |
| |
| Authors: | Deng Ausheng Li Yeli |
| |
| Affiliation: | Deng Ausheng Li Yeli(The Noreh-East Normal University) (Siping Normal College) |
| |
| Abstract: | In this paper, we propose a mechanical deduction algorithm in fuzzy prepositional logic. The soundness and the completeness of the algorithm are proved. |
| |
| Keywords: | strings sequence |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
