1) genralized semantic C-HS rule
广义语义C-HS规则
2) Generalized semantic HS-rule
广义语义HS-规则
3) generalized semantic HS rule
广义语义HS规则
1.
Generalized semantic MP rules and generalized semantic HS rules of the system H_a;
系统H_a中广义语义MP规则与广义语义HS规则
4) generalized semantic C-MP rule
广义语义C-MP规则
5) Generalized semantic MP-rule
广义语义MP-规则
6) generalized semantic MP rule
广义语义MP规则
1.
In the logic system H12,a new partition of F(S) can be obtained by utilizing the concept of generalized tautologies,moreover,a variety of generalized semantic MP rules and generalized semantic HS rules are obtained in H12.
以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广义语义HS规则,并把系统H12中的相关结论推广到系统Ha(0
2.
The generalized semantic MP rule in the revised Kleene logic system is applied to Hα logic system.
另外,逻辑系统-W中的广义语义MP规则也成为其中的一个特例。
补充资料：005(Hs)
分子式：
分子量：
CAS号：
性质：周期系第Ⅷ族副族元素。原子序数。原子序数108。一种人工放射性元素。原子量265.1306。1984年德国达姆斯塔特重离子研究所的G.明岑贝格（Müenzenberg）等用加速的铁离子（58Fe）轰击铅靶（208Pb）获得005 265和266。为纪念该研究所位于德国黑森州而得名。
分子量：
CAS号：
性质：周期系第Ⅷ族副族元素。原子序数。原子序数108。一种人工放射性元素。原子量265.1306。1984年德国达姆斯塔特重离子研究所的G.明岑贝格（Müenzenberg）等用加速的铁离子（58Fe）轰击铅靶（208Pb）获得
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条