【摘 要】
：
In this paper, the method of well-combined semantics and syntax proposed by Pavelka is applied to the research of the prepositional calculus formal system (?)*
【机 构】
：
Institute of Mathematics, Shaanxi Normal University,Institute of Mathematics, Shaanxi Normal Univers
【出 处】
：
Science in China(Series F:Information Sciences)
论文部分内容阅读
In this paper, the method of well-combined semantics and syntax proposed by Pavelka is applied to the research of the prepositional calculus formal system (?)*. The partial constant values are taken as formulas, formulas are fuzzified in two manners of semantics and syntax, and inferring processes are fuzzified. A sequence of new extensions {(?)_n~*} of the system ? is proposed, and the completeness of (?)_n~* is proved.
In this paper, the method of well-combined semantics and syntax proposed by Pavelka is applied to the research of the prepositional calculus formal system (?) *. The partial constant values are taken as formulas, formulas are fuzzified in two manners of semantics and syntax, and inferring processes are fuzzified. A sequence of new extensions {(?) _ n ~ *} of the system? is proposed, and the completeness of (?) _ n ~ * is proved.
其他文献
目的 调查贵州省燃煤污染型氟中毒重点病区居民主要携氟介质防氟行为,评价防氟行为形成情况.方法 在23个历史重病区县,以县为单位,按照地理方位各抽取5个乡镇,每乡(镇)随机抽
《简·爱》中的男权主义在婚姻爱情观的个体意识和集体意识两个层面的表现是:从个体意识角度,男权主义在《简·爱》中主要体现在男性的自私、控制欲和冷酷无情以及女性精神的
目的 了解湖州地区脊柱结核耐药情况.结果 使用横断面调查方法对本院2017年1月至2018年12月在本院接受治疗的150例脊柱结核患者进行耐药情况调查.结果 本研究150例标本中培养
为了避免由于阈值选取不当造成信号失真,将模糊理论引入到小波阈值去噪中,利用两个常用隶属函数构造了两种模糊阈值去噪方法.仿真结果表明上述方法有效地避免了小波阈值法误
目的 探究阑尾炎合并阑尾血吸虫病伴感染的相关临床病理特点.方法 本次研究选择2014年2月至2018年7月在本院收治的1 132例急性阑尾炎患者为研究对象,经证实其中共有98例患者
目的 了解白银市鼠疫监测工作状况,探讨监测信息质量评价方法,为提高信息质量提供依据.方法 从《鼠疫防治管理信息系统》中获取白银市鼠疫监测数据资料,按照统一的评价方法与
目的具体分析老年冠心病合并心律失常患者的临床护理干预效果。方法取2016年8月-2017年8月在我院接受治疗的老年冠心病合并心律失常的患者98例,将上述患者根据护理方式的差异
各种原因引起的肝内外胆管阻塞均可造成黄疸发生,而恶性阻塞性黄疸常由各种恶性肿瘤阻塞或压迫胆管造成狭窄或闭塞,如果不解决梗阻,患者可由于胆汁排泄障碍造成肝衰竭而死亡.
随着开发商和购房者节能意识不断增强,节能环保等细节品质将会成为继房价、地段、配套、户型等主力因素之后,吸引购房者的新筹码。
With the increasing awareness of energ
目的 全面考核贵州省14个县燃煤污染型地方性氟中毒防治的效果,提出新的防控措施与对策.方法 2013 ～2014年,对贵州省14个县所有病区常住居民户进行相关健康生活行为情况调查;