Abstract: The paper first introduces fuzzy propositional calculus system ℋ, generalized effective inference and integral truth degree of formulas, then proves integral truth degree decreasing theorem ...
The method used by the author in deriving a Picard type theorem for quasiconformal mappings [Proc. Amer. Math. Soc. 61 (1976), 265-271], improved by a proposition of S.-T. Yau [Amer. J. Math. 100 ...