论文部分内容阅读
讨论了Girard Quantale的内部结构,研究了Girard Quantale中各种运算的若干性质和它们之间的相互关系,证明了Girard Quantale中六个二元运算中的任何一个结合一元算子⊥均可以完全刻画剩余的五个二元运算.
Girard Quantale中的算子
【摘 要】
：
讨论了Girard Quantale的内部结构,研究了Girard Quantale中各种运算的若干性质和它们之间的相互关系,证明了Girard Quantale中六个二元运算中的任何一个结合一元算子⊥均可
【机 构】
：
南阳师范学院数学与统计学院
【出 处】
：
南阳师范学院学报
【发表日期】
：
2010年12期
【基金项目】
：
国家自然科学基金资助项目（60904041）, 河南省基础与前沿项目（102300410145）, 南阳师范学院项目（nynu200749）
其他文献
我于1935年出生于江西省赣县阳埠乡,破蒙之时,先父请了一位私塾老师来家中教我识字,其实在从老师识字之前,先君已亲自教我识字,而且认得将近一千字,因此老师就不必从识字教起
在一致光滑的Banach空间中,引进了一种新的关于非扩张算子T的修正混合Halpern三步迭代序列,并证明了在一定条件下该迭代序列强收敛于T的不动点.所得结果改进和推广了近年来其
西方学者用数学论证转形问题已达百年。像萨缪尔森、斯蒂德曼等,目的是将马克思命题证伪。本文将以往的转形模型分为两个体系,即投入产出关联体系和单一生产过程体系,用实例
目的应用新型口腔全景摄片技术,摄取颞颌关节及其周围组织结构病变及损伤情况,为临床提供可靠的诊断依据.方法采用芬兰进口OP100型口腔全景摄影机,选择半自动程序进行摄影.结
主要就信息技术在制造型企业中的日常业务处理和电子商务开发中的应用作简单的剖析,对企业中的信息化实现进行探讨,就ERP在制造型企业中应用的重要性向读者逐一阐述说明;然后