论文部分内容阅读
讨论了当格蕴涵代数L是完全分配格时蕴涵运算的一些性质,在格蕴涵代数L上引入了集合的蕴涵传递性概念,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理,即格蕴涵代数的滤子满足命题逻辑的三段论推理规则和替换定理.
格蕴涵代数中滤子的逻辑性质
【摘 要】
：
讨论了当格蕴涵代数L是完全分配格时蕴涵运算的一些性质,在格蕴涵代数L上引入了集合的蕴涵传递性概念,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理,即格蕴涵代数的滤子
【机 构】
：
解放军外国语学院基础部河南，洛阳，471003西南交通大学应用数学系，四川，成都，610031;
【出 处】
：
数学季刊(英文版)
【发表日期】
：
2004年期
其他文献
DNA计算机是指通过组成DNA分子的A、G、C、T四种核苷酸的排列来编码信息,特定的生物酶可充光“软件”,使DNA分子完成某种生物化学反应,从一种基因代码(即反应前的输入数据)变
在我国,工程投标形式经历了从议标、邀请招标,到今天普遍开展的公开招投标形式.工程投标书是投标方向招标方展示企业实力的重要环节,由评标专家通过给工程投标书打分来评判优
把握国内外发展趋势 着力开发核心技术rn把握粉末冶金领域的国内外发展趋势以及国民经济建设和国防建设的急迫需求,充分利用中心具备的人才和设备优势,在粉末冶金基础理论、
一、编制机电产品招标文件易出现的一些的问题在机电产品国际公开招标和评标过程中,有时会发现编制的招标文件中存在各项问题,如招标文件不完整、技术和商务条款含糊不明确、
为提高百姓健康水平,“十二五”时期,国家卫生投入实现跨越式增长,全国财政医疗卫生(含计划生育)累计支出46499亿元,是“十一五”时期的2.7倍;年均增幅17.3%,比同期全国财政
期刊
进入21世纪以来,电子商务已经在金融行业广泛应用,电子商务的作用及价值日益显现,电子商务所带来的效益持续高速攀升。从全球保险行业发展趋势来看,电子商务已经成为重要的销
英语在顺应全球化的进程中,不断展示出它作为一门国际通用语言在沟通交流方面的优越性.在大数据时代中,英语因其独特性,从而具有了极大的发展潜力,本文通过分析机器翻译存在
大兴,京都首邑。2005年底,我经组织安排,愉快地担起中国人保财险大兴支公司(下称大兴公司)的领导重任。在此,我和员工一起团结奋进,度过了难忘的近960个日日夜夜。期间,付出
经过了三十几年的快速发展,我国安防行业已远远超越了当初的门、锁、柜金属制造业的范畴,形成了跨门类、跨行业,涵盖电子及机械产品制造业、软件和信息技术服务业、批发和零