|
|||||
|
|
| 逻辑系统UL的广义H-赋值 | |
| 作者姓名： | 张小红 何华灿 |
| 作者单位： | 西北工业大学计算机学院,西安,710072;西北工业大学计算机学院,西安,710072 |
| 基金项目： | 国家自然科学基金资助项目（批准号：60273087）.宁波大学科研基金资助项目. |
| 摘 要： | 研究了Schweizer-Sklar T-范数（本文讨论p〈0的情况）及其刺佘蕴涵的性质。以此为基础,对泛逻辑基本形式系统UL中的H-g值进行了拓广,引入了广义H-赋值概念,证明了UL在广义H-赋值之下可靠性定理成立。 |
| 关 键 词： | 逻辑系统UL 广义H-赋值 Schweizer-SklarT-范数 可靠性 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |