NBL^*形式系统

来源 :纺织高校基础科学学报 | 被引量 : 0次 | 上传用户:soy_chen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
将非交换BR0代数形式化,从而简化它的定义,使其更具有逻辑代数的特征.利用逻辑代数与其命题演算系统之间存在的完备性思想,通过对非交换BR0代数定义的进一步研究,得出与它相对应的形式系统NBL^*的公理,进而得到其上的[F]完备性和广义演绎定理成立,即NBL^*形式系统与非交换BR0代数之间具有一定的和谐性.
其他文献
引入FZ-连续子空间的概念,在此基础上得到FZ-Scott开集和Z-Scott闭集都是FZ-Domain的FZ-连续子空间.证明了FZ-Domain的FZ-连续性对FZ-Scott开集和Z-Scott闭集都是可遗传的.
研究一类带Ivlev反应项的捕食模型的平衡态问题,给出了正解的存在性.利用Leray-Schauder度理论,通过计算锥映射不动点指标,结合极值原理、上下解方法,得到了正解存在的充分条
油菜的产量是其单位面积内单株产量的总和,而单株产量是由主花序、一次分枝和二次分枝有效角果的产量所组成,各部位的产量又是由有效角果数、每角粒数和千粒重所构成的。对构
Hardy和的均值性质是许多学者研究的一个热点,但是对s4(h,k)均值性质的研究仍然是个空白.利用Hardy和s4(h,k)与三角函数的关系及Dirichlet L-函数的均值定理,研究了s4(h,k)的三次均值性
设F为元素个数大于3的域,M2(F)为F上的2×2矩阵代数,T2(F)≡{T|T^3=T,T∈M2(F)}.所有满足Ф:M2(F)→M2(F),A+λB∈T2(F)=〉Ф(A)+λФ(B)∈T2(F), A,B∈T2(F),λ∈F的单映射构成的集合用Φ表示.利
为了验证新疆某工程溢流表孔设计的合理性,通过水工模型试验对溢流表孔的堰面曲线、斜坡、反弧段的设计体型进行验证。结果:溢流表孔的泄流能力略小于设计泄流能力,沿线均为正压
人体生理学是研究正常人体功能活动规律的一门重要的基础医学课,学好人体生理学对高职医学生学习后续的医学课程,如病理生理学、药理学及临床医学均十分重要。血液生理的一章,是临床血液病的生理学基础,也是内科学的基础理论之一,学生普遍对血液的相关知识和学习方法缺乏了解。因此,如果不注重教学教法的改进,血液生理的教学就难以走出“教师难教,学生难学”的困境。   一、比喻教学法让知识源于生活   比喻法不仅
摘 要:从汽修实训课的教学角度出发,我校在汽修实训课中实施三级管理体系。此种教学模式体系,使学校的汽修教育顺应了时代的要求,培养出一批更适合社会需要的高素质、高能力、德才兼备的复合型的汽修人才。   关键词:课程安排;实训管理;学习组织     中职教育在突出技能教学的前提下,教学环境、教学资源等的变革必然要求教学组织形式也进行变革,以适应课程改革的需要。近年来,鄞州职业高级中学在校学生人数大
针对应用标准无网格方法求解不可压缩Stokes方程时压力会产生剧烈的数值伪振荡,给出一种消除压力伪振荡的无网格稳定化方法,并用其计算了2个不可压缩Stokes流动问题的经典算例.
研究二维Navier-Stokes方程的显示精确解.应用泛函分离变量法给出拟解将原方程约化为常微分方程组获得了一组新的精确解,同时应用对称法给出了另外一组新的精确解.这两组解的