That there are only three different kinds of α_ tautologies in revised Kleene systems is proved first; then in finite case the diversity theorem of α_ tautologies with α’ s larger than the mid_value is established...That there are only three different kinds of α_ tautologies in revised Kleene systems is proved first; then in finite case the diversity theorem of α_ tautologies with α’ s larger than the mid_value is established. Lastly, also in finite case, a representation theorem of α_ tautologies by means of tautologies is given.展开更多
The terminology of "fuzzy logic" has been formed and employed with different meanings bya large number of researchers soon after Zadeh published his initiate paper (see [1]), butperhaps the most serious work...The terminology of "fuzzy logic" has been formed and employed with different meanings bya large number of researchers soon after Zadeh published his initiate paper (see [1]), butperhaps the most serious work on fuzzy logic is the Pavelka’s series papers (see [2]) whichprovided a systematical theory of fuzzy logic mathematically and profoundly, and hence展开更多
文摘That there are only three different kinds of α_ tautologies in revised Kleene systems is proved first; then in finite case the diversity theorem of α_ tautologies with α’ s larger than the mid_value is established. Lastly, also in finite case, a representation theorem of α_ tautologies by means of tautologies is given.
文摘The terminology of "fuzzy logic" has been formed and employed with different meanings bya large number of researchers soon after Zadeh published his initiate paper (see [1]), butperhaps the most serious work on fuzzy logic is the Pavelka’s series papers (see [2]) whichprovided a systematical theory of fuzzy logic mathematically and profoundly, and hence
