格蕴涵代数的构造

来源 :内蒙古大学学报:自然科学版 | 被引量 : 0次 | 上传用户:yuyuspecialshow
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
进一步讨论了格蕴涵代数的性质和结构,给出了一条不能构成格蕴涵代数的链的例子,得到并证明了链可成为格蕴涵代数的一个充分必要条件;同时,对格蕴涵代数之全体的结构进行了全面的研究。
其他文献
患者男,67岁,因“间断性反复发作慢性腹痛5年”就诊;高血压病史30年,肝肾功能、血常规等均未见异常。超声检查:肠系膜上动脉近段2处管腔局限性梭形扩张,内径约14 mm、11 mm,
利用"Y"型嗅觉仪测定了14种植物挥发物对烟粉虱成虫Bemisia tataci EMD隐种的作用。结果表明,10%的1,8-桉树脑、丁香酚、月桂烯、苎烯和肉桂醛引诱作用较强,其中1,8-桉树脑和月
超声成像中,复杂物理效应可带来多种伪差,包括混响效应、振铃效应、镜像效应、旁瓣效应、部分容积效应及折射重影效应等[1]。镜像伪差可出现在人体多个部位,甚至可见于新生儿
温室气体引起全球气候变化问题已得到世界各国的普遍关注,中国作为温室气体排放总量较多的国家,正积极调整能源消费结构,降低温室气体排放。结合国内核电发展现状及规划,通过比较
匈奴语的系属一直存在争议,以往研究往往仅根据史书中的只言片语对匈奴语进行探讨,但是由于词语比较缺乏系统性,一直以来难以达成比较一致的意见。考虑到亲属名词相对而言具
本文简述了提高天线跟踪伺服系统精度的重要性,探讨了在跟踪高动态目标时,如何利用Kalman滤波理论产生前馈信号,以提高跟踪精度的技术途径。由于遥测伺服跟踪系统无距离信号,目前国内外