【摘 要】
：
研究了连续Quantale及其范畴性质,定义了半连续Quantale,在此基础上讨论了半连续Quantale、连续Quantale和正则Quantale之间的关系.证明了严格右侧的连续Quantale是正则Quant
【基金项目】
：
国家自然科学基金资助项目（10471083）,教育部高校优秀青年教师教学科研奖励计划基金资助项目（[2000]26）.
论文部分内容阅读
研究了连续Quantale及其范畴性质,定义了半连续Quantale,在此基础上讨论了半连续Quantale、连续Quantale和正则Quantale之间的关系.证明了严格右侧的连续Quantale是正则Quantale,严格右侧的左侧Quantale是连续Quantale当且仅当它是半连续Quantale.给出了连续Quantale中理想的概念,探讨了连续Quantale中理想和连续Quantale范畴的性质,证明了此范畴不仅是点化的、连通的,而且有乘积、每一个投射都是收缩.
其他文献
基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-
研究了加权框架的基本性质及其与框架乘子的关系.首先给出了加权框架的定义，在此基础上证明了加权框架的一些基本性质：两个加权框架的并仍是加权框架；半正规序列与加权框架的乘
研究了上定向的具有Riesz分解性质的广义效应代数的结构.引入了广义效应代数中素理想的定义,证明了上定向的具有Riesz分解性质的广义效应代数是有限次直既约的当且仅当它是反
讨论了塑性加工尤其是轧钢在我国的资源，能源消耗及环境保护中的重要地位，塑性加工与节约资源和能源，降低污染，提高材料强度、延长材料寿命及防腐的关系，以及所应采取的技术措施。
目的：为减少错误处方，提高书写处方合格率及合理的用药水平。方法：对中铁十七局中心医院2011年1～4月的不合理处方进行整理，并分析其存在的问题。结果：不合理处方主要表面在书写不规
研究了模态逻辑系统S5中的析（合）取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法．作为范式定理的应用，讨论