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射线结果表
目的:讨论老年人工股骨头置换术后假体周围骨折原因及治疗。方法:对老年人工股骨头置换术后假体周围骨折11例患者,按Vancouver分型A型3例,B型3例,C型5例,根据骨折情况采用骨骼牵引
马克思主义中国化就是将马克思主义基本原理同中国具体实际相结合,不断形成具有中国特色的马克思主义理论成果的过程。具体地说,就是把马克思主义基本原理同中国革命、建设和
活泼可爱的小女孩玲玲今年两岁九个月了,爸爸、妈妈上班很忙,每天回家很晚,一直由爷爷和奶奶照顾她生活,成长的过程一直比较顺利。
翠绿鲜嫩的丝瓜,是夏季人们爱吃的瓜类蔬菜.丝瓜与夏天有缘,据说是明代从南洋那个炎热的地方引进的,靠海边的泉州,称它暑瓜,这应该是正确的,丝瓜是真正清凉解热的瓜.
常言道:“水火无情”,“十万火急”。火灾是人类的一大灾难,其造成的损失之快、之惨重程度往往超过诸如水灾等自然灾害。有的楼房整个被烧为废城,有的家庭、厂房一夜之间化为灰烬
以MgO和Nb2O5为原料,用高能球磨法制备Mg4Nb2O9前驱体,前驱体经900℃热处理合成Mg4Nb2O9纳米粉体.采用X射线衍射和扫描电镜(Scanning Electron Microscopy,SEM)研究了粉体随
基于二阶微扰理论,分析了整形啁啾脉冲作用于原子系统的双光子过程.研究了在远离共振和近共振两种情况下啁啾脉冲光场作用时双光子跃迁几率的演化规律.结果表明:远离共振时,利
1月13日,全省林业系统党风廉政建设工作会议在西安召开。会议回顾总结了2010年反腐倡廉工作,对2011年党风廉政建设工作进行了安排部署。厅党组书记、厅长张社年参加会议并作