论文部分内容阅读
基于一般R0代数的定义,在e*命题集中定义了一种特殊的具体的R0代数-T-R0代数;基于对e*系统中的极大命题集和完备命题集,给出了T-R0代数代数的滤子的一般形式及其T-R0代数的特殊滤子与特殊命题集之间的关系..关键词:e*命题逻辑系统;R0代数;T-R0代数;滤子;极大命题集;完备命题集
T-R0代数及其滤子
【摘 要】
：
基于一般R0代数的定义,在e*命题集中定义了一种特殊的具体的R0代数-T-R0代数;基于对e*系统中的极大命题集和完备命题集,给出了T-R0代数代数的滤子的一般形式及其T-R0代数的特
【机 构】
：
河南理工大学数学与信息科学学院,河南,焦作,454000
【出 处】
：
海南师范大学学报（自然科学版）
【发表日期】
：
2008年4期
其他文献
本文通过对单元化家具设计的分析阐述在产品设计中单元化设计的重要性,单元化设计思想从一个新的角度看家具功能设计,在强调功能性的同时,考虑不同用户的功能需求差异,对不同
本文以勘探二号钻井平台电站为例,介绍了无功功率及高次谐波对钻井平台电网的影响,论述了应用补偿技术解决问题的方案及其效果,并探讨了补偿技术在海上及陆地平台电站的应用
聚类就是按照事物间的相似性进行区分和分类的过程,传统的聚类分析是一种硬划分,它把每个待辨识的对象严格地划分到某个类中,具有非此即彼的性质,因此这种分类的类别界限是分
1964/1965年纽约世博会中有几座比较重要的展馆均采用大空间被抬起的形式.这种形式可以创造具有轻盈特点,且充满气势的建筑形象,但同时不可避免地会遇到大量人流如何组织,及
有线电视网络企业经营是一项复杂的系统工程,它涉及的面很广,除视音频节目、有线电视网络和销售渠道三大资源外,还要协调处理用户定购有线电视网络业务、节目的加密和授权、
文章论述了为进一步提高镀锌波纹板的耐腐蚀期限，采用有机涂层是最有效、最经济、最适用的方法。本文先介绍了影响镀锌波纹板的腐蚀因素及涂层的防腐蚀机理，然后依据ISO 129442
文章论述了农药悬浮剂的概况、国内外发展状况、制剂技术等方面的问题,并探讨了这一领域的发展前景,以期为农药悬浮剂的应用推广提供技术参考。
The article discusses the