1) Generalized Quantifier
广义量词
1.
Soundness Theorem with Generalized Quantifier in LF(X);
LF(X)中带广义量词的可靠性定理
2.
Generalized Quantifier in the L-valued First-order Logic LF(X);
格值一阶逻辑系统LF(X)中的广义量词
3.
α-resolution Principle with Generalized Quantifier Based on First-order Lattice-valued Logic LF(X);
格值一阶逻辑系统LF(X)中带广义量词的α-归结原理
2) generalized quantifiers
广义量词
1.
Tableau methods with generalized quantifiers are very difficulty for computer to implement.
该文作者在已提出的布尔剪枝方法基础上,对含广义量词(交和并)规则的简化方法进行研究,建立了一套含广义量词的一阶多值逻辑公式的简化Tableau推理方法。
3) generalized quantifier theory
广义量词理论
1.
Today\'s generalized quantifier theory restricted to single words or containing the noun phrase qualifier corresponds to the concept of modern logical quantifier, that limit or contain the word itself qualifier with the noun phrase to quantify the significance, and have quantified the meaning of the sentence on the sentence referred to as quantization.
当今的广义量词理论(Generalized Quantifier Theory)把单独的限定词或含有限定词的名词短语对应于现代逻辑的量词概念,认为限定词本身或包含限定词的名词短语具有量化意义,而具有量化意义的句子就称作量化句。
4) broad-sense community word
广义社区词
5) qualifiers
语义量词
1.
Study on evaluating-diversity of two kinds of five-rating qualifiers;
两种类型五级语义量词的赋值差值比较
6) qualifiers smantics
语义量词
1.
If qualifiers smantics are classified too less grades, scales sensitivity will decrease significantly.
语义量词是自陈式量表的重要组成部分,语义量词是用等级性自然语言来表征人们评价事物的心理量。
补充资料：存在量词
存在量词
existential quantifier
存在且词【e汕众砚目甲翻‘衡，ey川eeT的皿u。:K皿。-Topl 用来构造命题的一种逻辑运算，表示“对某个x"(“存在一个x满足”).在形式语言中，存在量词被记作日x，(日x)，口、，v、，艺工 B .E .fl二“cKo撰
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条