| A unified approximate reasoning theory suitable for both propositional calculus system L and predicate calculus system K |
| |
| 引用本文： | WANG Guojun,CHIN K. S. & DANG C.Y. Institute of Mathematics,Shaanxi Normal University,Xi''''an 710062,China, Research Center for Science,Xi''''an Jiaotong University,Xi''''an 710049,China, Department of Manufacturing Engineering and Engineering Management,City University of Hong Kong,Hong Kong,China. A unified approximate reasoning theory suitable for both propositional calculus system L and predicate calculus system K[J]. 中国科学F辑(英文版), 2005, 48(1) |
| |
| 作者姓名： | WANG Guojun CHIN K. S. & DANG C.Y. Institute of Mathematics Shaanxi Normal University Xi''''an 710062 China Research Center for Science Xi''''an Jiaotong University Xi''''an 710049 China Department of Manufacturing Engineering and Engineering Management City University of Hong Kong Hong Kong China |
| |
| 作者单位： | WANG Guojun，CHIN K. S. & DANG C.Y. Institute of Mathematics，Shaanxi Normal University，Xi'an 710062，China; Research Center for Science，Xi'an Jiaotong University，Xi'an 710049，China; Department of Manufacturing Engineering and Engineering Management，City University of Hong Kong，Hong Kong，China |
| |
| 摘 要： | The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as well as syntactically, and a unified complete theorem is obtained.
|
A unified approximate reasoning theory suitable for both propositional calculus system L* and predicate calculus system K* |
| |
| WANG Guojun,CHIN K.S,DANG C.Y. A unified approximate reasoning theory suitable for both propositional calculus system L* and predicate calculus system K*[J]. Science in China(Information Sciences), 2005, 48(1) |
| |
| Authors: | WANG Guojun CHIN K.S DANG C.Y |
| |
| Affiliation: | 1. Institute of Mathematics, Shaanxi Normal University, Xi'an 710062, China;Research Center for Science, Xi'an Jiaotong University, Xi'an 710049, China
2. Department of Manufacturing Engineering and Engineering Management,City University of Hong Kong, Hong Kong, China |
| |
| Abstract: | The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as well as syntactically, and a unified complete theorem is obtained. |
| |
| Keywords: | metric R0-algebra Hilbert cube of type R0 metric Lindenbaum algebra of type R0 approximate reasoning complete theorem. |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
