逻辑系统UL的广义H-赋值

计算机科学 ›› 2005, Vol. 32 ›› Issue (11): 145-147.

• 软件工程与数据库技术 • 上一篇下一篇

逻辑系统UL的广义H-赋值

张小红何华灿

西北工业大学计算机学院,西安710072

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
国家自然科学基金资助项目（批准号：60273087）.宁波大学科研基金资助项目.

ZHANG Xiao-Hong, HE Hua-Can （School of Computer Science, Northwestern Polytechnical University, Xi＇an 710072）

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 研究了Schweizer-Sklar T-范数（本文讨论p〈0的情况）及其刺佘蕴涵的性质。以此为基础，对泛逻辑基本形式系统UL中的H-g值进行了拓广，引入了广义H-赋值概念，证明了UL在广义H-赋值之下可靠性定理成立。

关键词: 逻辑系统UL 广义H-赋值 Schweizer-Sklar T-范数可靠性赋值广义 UL 逻辑系统可靠性定理

Abstract: The properties of Schweizer-Sklar T-norm （assume p〈0 in this paper）and its residuated implication are studied. Based on these, the notion of generalized H-valuation in logic system UL is introduced, and the reliability theorem of UL on generalized H-valua

Key words: Logic system UL, Generalized H-valuation, Schweizer-Sklar T-norm,Reliability

张小红何华灿. 逻辑系统UL的广义H-赋值[J]. 计算机科学, 2005, 32(11): 145-147. https://doi.org/

ZHANG Xiao-Hong, HE Hua-Can （School of Computer Science, Northwestern Polytechnical University, Xi＇an 710072）. [J]. Computer Science, 2005, 32(11): 145-147. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

逻辑系统UL的广义H-赋值

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0