|
计算机科学 2005
Generalized H-valuation in Logic System 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 the- orem of UL on generalized H-valuation is proved.