1) valid argument
有效变元
2) validity of an argument
变元的有效性
4) valid element
有效元
1.
An equivalent characterization of a Girard quantale is given and a necessary and sufficient condition for a D-quantale to be a Girard quantale is found,and some simple properties of valid elements in a Girard quantale are discussed.
找到了Girard quantale的等价刻画以及一个D-quantale是Girard quantale的充要条件,并探讨了Girard quantale中有效元的一些简单性质。
5) (weak)effective point
(弱)有效元
补充资料：个体变元
个体变元
individual variable
个体变元[加‘帕面目怕血旋;，朋，a。皿翻。e一eMe.翻]，对象变元(。坛时~ble) 形式语言(fon刀目lar卿坦罗)中的一种符号，用来表示由这种语言所描述的结构中的任意一个元素.每一种形式语言中都含有一类或几类个体变元，每一类个体变元都有无穷多个.例如，向量空间理论的语言中有两类个体变元，一类表示向量，一类表示标量，而算术理论的语言中只有一类变元，表示非负整数. C .K .Co6o朋B撰【补注】参见个体常且(indi访dual cons加叮t).沈复兴译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条