Generalized H-valuation in Logic System UL
Xiao Zhang · 2005
The properties of Schweizer-Sklar T-norm (assume p0 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.