\input zb-basic
\input zb-ioport
\iteman{io-port 02177410}
\itemau{Wang, Guo-Jun}
\itemti{Comparison of deduction theorems in diverse logic systems.}
\itemso{New Math. Nat. Comput. 1, No. 1, 65-77 (2005).}
\itemab
Based upon the specific form of a deduction theorem, which holds true in the author's system $\cal{L}^*$ of fuzzy logic [introduced in Chin. Sci. Bull. 42, 1521--1525 (1997; Zbl 0889.03017)], he offers here a generalization of his notion of consistency degree [see {\it G.-J. Wang} and {\it W.-X. Zhang}, Fuzzy Sets Syst. 149, 275--284 (2005; Zbl 1062.03022)]. What he additionally shows is that this notion of consistency degree is unsuitable for {\L}ukasiewicz and product logic because they have another (infinitary) form of deduction theorem.
\itemrv{Siegfried J. Gottwald (Leipzig)}
\itemcc{}
\itemut{fuzzy logic; consistency degree}
\itemli{doi:10.1142/S1793005705000044}
\end