摘要
研究了Schweizer-Sklar T-范数(本文讨论 p<0的情况)及其剩余蕴涵的性质。以此为基础,对泛逻辑基本形式系统UL中的H-赋值进行了拓广,引入了广义H-赋值概念,证明了UL在广义H-赋值之下可靠性定理成立。
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-valuation is proved,
出处
《计算机科学》
CSCD
北大核心
2005年第11期145-147,共3页
Computer Science
基金
国家自然科学基金(批准号:60273087)
宁波大学科研基金
