|
|||||
|
|
| 一类代数上的逻辑学(Ⅰ) | |
| 引用本文： | 王国俊.一类代数上的逻辑学(Ⅰ)[J].陕西师范大学学报,1997(1). |
| 作者姓名： | 王国俊 |
| 作者单位： | 陕西师范大学数学研究所 |
| 摘 要： | 引入了一种代数，称为模糊公式代数．在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ＭｏｄｕｓＰｏｎｅｎｓ规则和ＨｙｐｏｔｈｅｔｉｃａｌＳｙｌｏｇｉｓｍ规则 |
| 关 键 词： | 模糊公式代数 准形式演绎系统 MP规则 HS规则 |
Logic on a kind of algebras Wang Guojun |
|
| Abstract: | |
| Keywords: | fuzzy formula algebra quasi formal deductive system MP rule HS rule |
| 本文献已被 CNKI 等数据库收录！ | |