The inferable theorem is discussed under the mixed circumstances under fuzzy functional dependency and fuzzy multivalued dependency.

讨论了在模糊函数依赖、模糊多值依赖混合作用下的推导公理系统；

This article explores specially the use of inferable anaphoric NPs, esp. definite NPs, in discourse based on some foreigners' pragmatic and cognitive studies.

本文根据国外语用和认知方面的研究理论专门探讨名词（短）语特别是有定名词语在语篇中的可推知照应的用法。