The theory of （n） truth degrees of formulas is proposed in modal logic for the first time. A consistency theorem is obtained which says that the （n） truth degree of a modality-free formula equals the truth degree ...The theory of （n） truth degrees of formulas is proposed in modal logic for the first time. A consistency theorem is obtained which says that the （n） truth degree of a modality-free formula equals the truth degree of the formula in two-valued propositional logic. Variations of （n） truth degrees of formulas w.r.t. n in temporal logic is investigated. Moreover, the theory of （n） similarity degrees among modal formulas is proposed and the （n） modal logic metric space is derived therefrom which contains the classical logic metric space as a subspace. Finally, a kind of approximate reasoning theory is proposed in modal logic.展开更多
In the present paper as estimation of an unknown probability density of the spline-estimation is constructed, necessity and sufficiency conditions of strong consistency of the spline-estimation are given.
Second-order almost cycloststionary complex processes are complex random signals with almost periodically time-varying statistics. Smoothed periodograms are proposed for related to cyclic spectral estimation and are s...Second-order almost cycloststionary complex processes are complex random signals with almost periodically time-varying statistics. Smoothed periodograms are proposed for related to cyclic spectral estimation and are shown to be consistent. Asymptotic covariance expressions are derived along with their computable forms.展开更多
基金Supported by the National Natural Science Foundation of China (Grant Nos. 10331010 and 10771129)the Foundation of 211 Constructionof Shaanxi Normal University
文摘The theory of （n） truth degrees of formulas is proposed in modal logic for the first time. A consistency theorem is obtained which says that the （n） truth degree of a modality-free formula equals the truth degree of the formula in two-valued propositional logic. Variations of （n） truth degrees of formulas w.r.t. n in temporal logic is investigated. Moreover, the theory of （n） similarity degrees among modal formulas is proposed and the （n） modal logic metric space is derived therefrom which contains the classical logic metric space as a subspace. Finally, a kind of approximate reasoning theory is proposed in modal logic.
文摘In the present paper as estimation of an unknown probability density of the spline-estimation is constructed, necessity and sufficiency conditions of strong consistency of the spline-estimation are given.
文摘Second-order almost cycloststionary complex processes are complex random signals with almost periodically time-varying statistics. Smoothed periodograms are proposed for related to cyclic spectral estimation and are shown to be consistent. Asymptotic covariance expressions are derived along with their computable forms.
