1) 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中有效元的一些简单性质。
3) (weak)effective point
(弱)有效元
4) valid argument
有效变元
6) Valid Cell
有效信元
补充资料：春日书情寄元校书伯和相国元子
【诗文】：
数岁平津邸，诸生出门时。羁孤力行早，疏贱托身迟。
芳草看无厌，青山到未期。贫居悲老大，春日上茅茨。
卫玠琼瑶色，玄成鼎鼐姿。友朋汉相府，兄弟谢家诗。
律合声虽应，劳歌调自悲。流年不可住，惆怅镜中丝。
【注释】：
【出处】：
全唐诗：卷269_2
数岁平津邸，诸生出门时。羁孤力行早，疏贱托身迟。
芳草看无厌，青山到未期。贫居悲老大，春日上茅茨。
卫玠琼瑶色，玄成鼎鼐姿。友朋汉相府，兄弟谢家诗。
律合声虽应，劳歌调自悲。流年不可住，惆怅镜中丝。
【注释】：
【出处】：
全唐诗：卷269_2
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条