| 系统(￡)*n的逻辑性质及其应用 |
| |
| 引用本文： | 张乐,裴道武,王三民.系统(￡)*n的逻辑性质及其应用[J].高校应用数学学报(A辑),2011,26(2):247-252. |
| |
| 作者姓名： | 张乐 裴道武 王三民 |
| |
| 作者单位： | 浙江理工大学理学院,浙江杭州,310018 |
| |
| 基金项目： | 国家自然科学基金，浙江理工大学科研项目 |
| |
| 摘 要： | 证明了系统(￡)*n中的可满足性定理,紧致性定理和可判定性定理,完善了系统(￡)*n的理论体系,并将这些性质应用到计量逻辑学中,给出了∑Γ-真度和条件真度存在的充要条件.
|
| 关 键 词： | 模糊逻辑 系统(￡)*n 可满足性 紧致性 可判定性 计量逻辑 |
Logical properties of the system(￡)*n and their applications |
| |
| ZHANG Le,PEI Dao-wu,WANG San-min.Logical properties of the system(￡)*n and their applications[J].Applied Mathematics A Journal of Chinese Universities,2011,26(2):247-252. |
| |
| Authors: | ZHANG Le PEI Dao-wu WANG San-min |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
