Girard quantale的若干性质

来源 :陕西师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:tomyang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究了Girard quantale的内部结构,讨论了新算子|→r(|→l)的一系列性质.找到了Girard quantale的等价刻画以及一个D—quantale是Girard quantale的充要条件,并探讨了Girard quantale中有效元的一些简单性质。
其他文献
通过射频磁控溅射,在单晶LaAl O3(100)衬底上生长了膜厚为120 nm的La0.75Na0.25MnO3外延膜.应用X射线衍射仪、直流四探针法对其结构及电流诱导效应进行了系统研究.X射线结果表
翠绿鲜嫩的丝瓜,是夏季人们爱吃的瓜类蔬菜.丝瓜与夏天有缘,据说是明代从南洋那个炎热的地方引进的,靠海边的泉州,称它暑瓜,这应该是正确的,丝瓜是真正清凉解热的瓜.