【摘 要】
：
自1986年数学家C.J.Mulvey正式提出Quantale一词以来,Quantale理论一直成为数学家和逻辑学家的研究热点.在短短的十几年中有关Quantale理论的大量新的观点及应用不断被提示.
论文部分内容阅读
自1986年数学家C.J.Mulvey正式提出Quantale一词以来,Quantale理论一直成为数学家和逻辑学家的研究热点.在短短的十几年中有关Quantale理论的大量新的观点及应用不断被提示.而Quantale结构中的代数运算的结合性却限制了它的应用范围,因此Prequantale结构便应运而生.对Prequantale 内容结构的研究又是这一理论应用的基础.该文正是基于这一出发点给出了Prequantale中的一些基本概念并讨论了它的一系列性质,这不仅为了解Prequantale结构奠定了基础,而且也丰富和发展了Quantale理论的内容.另外,我们也对Quantale中的理想作了比较系统的研究.
其他文献
该文主要研究非线性方程F(x)=0的数值解法,在点估计和弱条件下,构造了优序列,给出了存在性收敛性定理及其证明.第一,该文对国内外学者在这一学科领域的研究成果进行了分析和
在该文,给出了一种正则升列的定义.在特征列计算的基础上,应用结式理论,对多项式组的特征列做正则化,提出了多项式组零点集的正则分解算法.对于多项式系统PS,给出了一个算法,
该文给出低渗透油藏流体性质半参数判别方法,是从大庆长垣以东特低渗透油藏常规测井物理参数的概率分布属性具体特征出了,首先分析确定了特低渗透油层、油水同层、水层及干层
在该文中,我们主要研究了球面上两条简单闭曲线的相交性质及在Haken球面中的应用.第1章介绍了该文的研究背景及与该文研究有关的3-流形理论的发展历史和研究现状;第2章介绍了
武山铜矿的磨矿系统由铁板机、带式输送机、自磨机和球磨机等组成。料场的矿石首先经过铁板机下放到带式输送机上,然后由胶带运送到自磨机进行磨碎,其中达不到要求的碎石进入
本文主要讨论了两个问题，第一个问题主要讨论了Marcinkiewicz积分交换子μbΩ的加权有界性，其中b∈ BMO(v).第二个问题主要讨论了Marcinkiewicz积分交换子蚝的端点估计，其中bG∈
该文讨论了含体制转换的时间序列模型在估算金融资产VaR中的应用,在此基础上以中国股票市场为例,运用简单体制转换模型和含体制转换的ARCH模型分别计算了上证指数和深证综合
高中阶段的语文阅读教学的主要目标是让学生可以有效地体会和理解文章的内容,更加注重的是学生本身的能力,让学生学会从整体的角度去掌握主要的内容.这篇文章主要讲述了在新
证券的收益与上市公司自身的财务指标有着密切的联系,有关这方面的研究近年来一直是金融实证研究的一个重点.那么,在中国证券市场中是否存在类似的关系呢?该文通过实证研究发
该文应用分式滤波器构造了一类具有线性相位的标准正交小波.并在气象领域研究了这种小彼的应用方法.用分式滤波器构造标准正交小波是对Daubedlies给出的利用多项式构造标准正