连续值逻辑系统中的代换定理

来源 :山东理工大学学报:自然科学版 | 被引量 : 0次 | 上传用户:lhihxk
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在舍弃了经典逻辑系统中公理L1的基础上建立了一类模糊命题逻辑的准形式演绎系统L*G-R,并在此基础上研究了模糊逻辑系统中的代换定理,为进一步研究模糊命题逻辑系统的完备性奠定了一定的基础.
其他文献
本文通过对政策性农业保险需求的类型和内容开展调研分析,明确政策性农业保险业在新农村建设中的功能定位。结合我国“三农”实情,提出国家、保险公司和农民采取的应对措施。
“十三五”规划的编制即将启动。让全国政协委员、国家发改委副主任徐宪平发愁的是,在“市场起决定性作用”的指挥棒下,计划性较强的5年规划该如何“变脸”以更贴近市场。
两江新区居民反映:白马花园人员密集且过往车辆比较多,交通压力大,白马花园金通大道至九曲河此路段时常有教练车带学员前来教学,造成堵车严重,给附近生活居民及行车造成不便,同时也
当地时间6月14日,英国伦敦一拍卖行展出史上第二大钻石原石“我们的光”。这颗钻石是去年在非洲国家博茨瓦纳发现的,1109克拉,未经雕琢也晶莹剔透。拍卖公司预计可拍出高达7000
江北区溉澜溪保利观澜附近一居民反映:尊敬的领导,您好!我是住在江北区溉澜溪的保利观澜附近居民,现在位于江北区溉澜溪的保利观澜正在昼夜不停施工,已严重影响到居民正常休息,本
作为国民经济的先导产业和服务业中最大的产业部门,商贸流通业在引领消费、促进生产、引导投资、促进结构转型、实现经济良性循环以及提高国民经济运行效率和效益等方面具有重
入世以来,我国贸易持续增长,无形间也给生态环境带来很大压力。根据我国贸易发展及生态环境的现状,文章认为出口退税抵扣环境税是优化生态环境的一个突破口,主要体现在促进贸易结
2005年10月,中共中央发布了《关于制定国民经济和社会发展第十一个五年规划的建议》(以下简称《十一五规划建议》),明确了下一个五年经济社会发展的指导思想、发展目标、主要任务
利用GPS或全站仪观测速度快、自动化记录、数据通迅方便等特点进行纵横断面测量建立数据处理模型,实现断面上里程点和横断面上点的自动搜索,自动绘出纵横断面图。
立足企业级GIS应用 ,在分析了传统的瘦客户端、中等客户端、胖客户端的体系结构及各自的优缺点的基础上 ,提出了一种栅格矢量混合的模式 ,既保证了客户端处理矢量数据的能力 ,又将数据传输量控制到最小 .基于三种分布式对象标准的两种COM +和EJB ,提出了两种企业级WebGIS应用的解决方案 .展望了影响未来WebGIS发展的几项技术 .