|
|||||
|
|
A formal deductive system for fuzzy propositional calculus |
|
| Authors: | Wang Guojun |
| Institution: | (1) Institute of Mathematics, Shaanxi Normal University, 710062 Xi’an, China |
| Abstract: | |
| Keywords: | Σ R-tantology α -MP rule α -HS rule algebra of fuzzy formulas formal deductive system ℐ *(ℱ ) quotient algebra |
| 本文献已被 SpringerLink 等数据库收录！ | |
| 点击此处可从《中国科学通报(英文版)》浏览原始摘要信息 | |
| 点击此处可从《中国科学通报(英文版)》下载免费的PDF全文 | |