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.展开更多
Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the taut...Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply. The researches of this paper can be used in lattice-valued logic systems and can be helpful to automated reasoning systems.展开更多
First, the numerous claims that the theory of natural selection would be a tautology, just empty circular reasoning, are shown to be erroneous, and that they follow from an essentialistic and deterministic way of thin...First, the numerous claims that the theory of natural selection would be a tautology, just empty circular reasoning, are shown to be erroneous, and that they follow from an essentialistic and deterministic way of thinking, which is not consistent with the dynamic theory of evolution. Secondly, it is proposed that a careful analysis applying Fisher’s Fundamental Theorem of Natural Selection of the seemingly tautologous sentence in question: “those who reproduce most, reproduce most” shows that in actual fact it is a predictive statement. Consequently, the analysis presented reduces the essence of the theory of natural selection to that one single statement.展开更多
Transfer plays an important role for language learners in second language acquisition. In regards to tautology, there are many differences between Chinese and English. This paper surveys the transfer of tautology from...Transfer plays an important role for language learners in second language acquisition. In regards to tautology, there are many differences between Chinese and English. This paper surveys the transfer of tautology from Chinese to English among English learners at three levels. The statistical results show that transfer does exist and there are significant differences between the three levels of subjects. The author also presents suggestions for English teachers to help learners avoid transfer of tautology from Chinese to English in the process of language learning.展开更多
We compute some tautological bundles on Hilbert the intersection numbers of two generating series of integrals related to schemes of points on surfaces SIn], including Chern classes of tautological bundles, and the E...We compute some tautological bundles on Hilbert the intersection numbers of two generating series of integrals related to schemes of points on surfaces SIn], including Chern classes of tautological bundles, and the Euler characteristics of Α_yTS[n]. We also propose some related conjectures, including an equivariant version of Lehn's conjecture.展开更多
We propose a conjecture on the generating series of Chern numbers of tautological bundles on symmetric products of curves and establish the rank 1 and rank -1 case of this conjecture. Thus we compute explicitly the ge...We propose a conjecture on the generating series of Chern numbers of tautological bundles on symmetric products of curves and establish the rank 1 and rank -1 case of this conjecture. Thus we compute explicitly the generating series of integrals of Segre classes of tautological bundles of line bundles on curves, which has a similar structure as Lehn's conjecture for surfaces.展开更多
文摘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.
文摘Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply. The researches of this paper can be used in lattice-valued logic systems and can be helpful to automated reasoning systems.
文摘First, the numerous claims that the theory of natural selection would be a tautology, just empty circular reasoning, are shown to be erroneous, and that they follow from an essentialistic and deterministic way of thinking, which is not consistent with the dynamic theory of evolution. Secondly, it is proposed that a careful analysis applying Fisher’s Fundamental Theorem of Natural Selection of the seemingly tautologous sentence in question: “those who reproduce most, reproduce most” shows that in actual fact it is a predictive statement. Consequently, the analysis presented reduces the essence of the theory of natural selection to that one single statement.
文摘Transfer plays an important role for language learners in second language acquisition. In regards to tautology, there are many differences between Chinese and English. This paper surveys the transfer of tautology from Chinese to English among English learners at three levels. The statistical results show that transfer does exist and there are significant differences between the three levels of subjects. The author also presents suggestions for English teachers to help learners avoid transfer of tautology from Chinese to English in the process of language learning.
基金The second author was partially supported by the National Natural Science Foundation of China (Grant No. 11171174).
文摘We compute some tautological bundles on Hilbert the intersection numbers of two generating series of integrals related to schemes of points on surfaces SIn], including Chern classes of tautological bundles, and the Euler characteristics of Α_yTS[n]. We also propose some related conjectures, including an equivariant version of Lehn's conjecture.
文摘We propose a conjecture on the generating series of Chern numbers of tautological bundles on symmetric products of curves and establish the rank 1 and rank -1 case of this conjecture. Thus we compute explicitly the generating series of integrals of Segre classes of tautological bundles of line bundles on curves, which has a similar structure as Lehn's conjecture for surfaces.