1) additive valuation
加法赋值
2) theory of additive valuations
加法赋值论
3) discrete additive valuation
离散加法赋值
5) Quasi-valuation method
拟赋值方法
1.
In this paper, we use Half-infinitary method, Self-substitution method, Fixed-point method and Quasi-valuation method to comprehensively establish such logics, and thus investigate various logical features of knowing an action.
本文我们采用半无穷方法、自代入方法、固定点方法和拟赋值方法全面建立这样的逻辑,从而研究知道一个活动的各种逻辑特性。
6) the method of valuating law of absurdity
归谬赋值法
补充资料：加法
加法
addition
基本算术运算之一加法的结果称为和(sum)两个数“’万b之和记为a十乃a与b都称为被加数(summ川d)数的加法是交换的:“+b=为+a，是结合的:(。十b)十‘=a+伪十c).加法的逆运算称为减法(subtractio。). Abel群(Abelian group二采用加法记号时)中的运算，环(ring)中的使得其元素构成Abel群的二元运算，通常也称为加法.这里，加法也是交换的和结合的有时群中的非交换运算也称为加法，例如，多算子群(mu!t卜。沐rator肛oup)的情况就是如此
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条