论文部分内容阅读
通过探究R0代数公理条件的内在联系,给出了R0代数的V-半格蕴涵表示形式.同时借助L*系统中公理和R0代数条件的对应关系,进一步简化了R0代数的V-半格蕴涵表示形式,使之在定义上更加符合逻辑代数的特征.
R0代数的V-半格蕴涵表示形式及其简化
【摘 要】
：
通过探究R0代数公理条件的内在联系,给出了R0代数的V-半格蕴涵表示形式.同时借助L*系统中公理和R0代数条件的对应关系,进一步简化了R0代数的V-半格蕴涵表示形式,使之在定义上
【机 构】
：
汉中职业技术学院计算机科学与技术系,陕西师范大学数学与信息科学学院
【出 处】
：
模糊系统与数学
【发表日期】
：
2004年期
其他文献
本文提出了瞬态图像采集技术和电磁脉冲加载装置.应用红宝石脉冲激光光源,介绍了动态全息光弹性、动态散斑干涉、动态云纹干涉、水下爆炸全息干涉、动态电子散斑干涉和动态数
介绍了电化学法除海洋生物用Ti/Pt/IrTa涂层电极,钢筋混凝土阴极保护用Ti/RuTiSnMn涂层电极,以及土壤阴极保护用Ti/RuTilrZr涂层电极.给出了几个阴极保护用辅助阳极的实例.
近年来,我国引入外商投资取得了举世瞩目的成就.外商投资不仅弥补了我国国内建设资金的不足,还有效促进了我国工业化的进程.本文对1981-2010年间我国东、中、西部地区外商投
本文选取1980-2009年生猪出栏量数据,利用同步系数法,对区域与全国、区域之间、各省与全国之间生猪生产波动的同步性进行测度,结果为:(1)区域与全国的同步系数平均值达到0.90
本文考虑了具有破坏性和非破坏性服务中断的离散重试排队系统.两类中断都发生在顾客接受服务的过程中,假设服务台在工作时发生破坏性中断,则正在接受服务的顾客中断服务,进入
利用800 nm的飞秒激光作为光源对3-甲基吡啶分子进行了多光子电离解离过程和机制的研究,发现3-甲基吡啶为先电离后解离,并分析了可能的解离通道.在B3LYP/6-311G++(d,p)水平下
老年性黄斑变性(AMD)是导致50岁以上老年人群中不可逆盲的最常见原因[1]。渗出型AMD的发病机制研究表明，多种血管因子特别是血管内皮生长因子( VEGF)参与新生血管的形成。目前
此文提出一种求解油藏渗流问题的数值计算方法,此法称为无网格伽辽金增维精细积分法。基于无网格伽辽金法(EFGM)和增维精细积分法,导出了求解非稳态渗流问题的无网格伽辽金增
目的:确定金芍胶囊中挥发油类成分的提取工艺并优化工艺参数。方法:对比超临界CO2萃取法与水蒸气蒸馏法对提取金芍胶囊中挥发油类成分的影响,探讨产业化实施中可能产生的问题
采用失重法和电化学方法,研究了半胱氨酸、蛋氨酸对盐酸介质中碳钢的缓蚀作用。失重实验结果表明:半胱氨酸、蛋氨酸的用量为800mg/L时,对碳钢的缓蚀率仅分别为66.61%和62.44%