The completeness and applications of the formal system B

来源 :Science in China(Series F:Information Sciences) | 被引量 : 0次 | 上传用户:tingxin1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Since the formal deductive system (?) was built up in 1997, it has played important roles in the theoretical and applied research of fuzzy logic and fuzzy reasoning. But, up to now, the completeness problem of the system (?) is still an open problem. In this paper, the properties and structure of R0 algebras are further studied, and it is shown that every tautology on the R0 interval [0,1] is also a tautology on any R0 algebra. Furthermore, based on the particular structure of (?) -Lindenbaum algebra, the completeness and strong completeness of the system (?) are proved. Some applications of the system (?) in fuzzy reasoning are also discussed, and the obtained results and examples show that the system (?) is suprior to some other important fuzzy logic systems. Since the formal deductive system (?) Was built up in 1997, it has played important roles in the theoretical and applied research of fuzzy logic and fuzzy reasoning. But, up to now, the completeness problem of the system (?) Is still an open problem. In this paper, the properties and structure of R0 algebras are further studied, and it is shown that every tautology on the R0 interval [0,1] is also a tautology on any R0 algebra. Furthermore, based on the particular structure of?? -Lindenbaum algebra, the completeness and strong completeness of the system (?) are proved. Some applications of the system (?) in fuzzy reasoning are also discussed, and the obtained results and examples show that the system (?) is suprior to some other important fuzzy logic systems.
其他文献
天麻(Gastrodia elata Bl.)属于兰科多年生草本植物。主产我国,以四川、云南、贵州、陕西等地为最多,其次是湖北,吉林也有分布。天麻无根无叶,适应凉爽、湿润的环境,一般分
摘要:后现代主义是20世纪后半叶在西方社会广为流行的一种哲学和文化思潮,其思想是建立在对现代主义的反思和批判基础上的,为教育理论和实践的研究提供了新的视角,多尔将后现代主义引入课程领域,对课程做出了新的解释,对教育研究产生了积极而深远的影响。  关键词:多尔 后现代主义 课程观 课程研究 启示    后现代主义(Post-modernism)是20世纪后半叶开始广为流行于西方社会的一种哲学和文化思
党的十七大明确提出,要建立和完善军民结合、寓军于民的武器装备科研生产体系、军队人才培养体系和军队保障体系,走出一条中国特色军民融合式发展路子。推行军队保障社会化,是走军民融合式发展路子的重要内容,对于统筹国防建设和经济建设协调发展,提高军队履行新世纪新阶段历史使命的能力,具有深远的历史意义和重大的现实意义。    一、“十五”时期的成功实践,为推进军队保障社会化打下坚实基础    根据中央军委的决
基于问题的学习(PBL)和网络学习共同体是当前网络教育领域的研究热点.本文从介绍网络学习共同体和PBL的概念入手,设计出基于PBL的网络学习共同体的模型,并对其要素进行研究,
目的:采用自主制备的烟气提取物(cigarettesmokeextract,CSE)研究其细胞毒性,并探讨黄芩苷对香烟烟气提取物引起的人肺泡上皮细胞损伤的作用,为下一步开发添加植物提取物的减
新课标明确指出:学生的数学学习活动应当是一个生动活泼的、主动的和富有个性的过程。在完成教学目标的同时,要使课堂生动活泼,使不同层次的学生都参与到数学教学活动中,成为课堂学习的主人,这就需要改变陈旧的教学方式。所以开放式教学将成为一种新的数学教学方式。  教育对象都是青少年,他们的事业在未来,也就是我们的工作对象都具有未来的性质。未来是充满开放性和不确定性的。既然我们的工作对象具有开放性的特点,我们
摘要:在激烈的就业压力下,公务员职业的稳定性、较高的福利、高声望性等特性被广大求职者所追捧,以致公务员考试正成为社会的一个新热门。在公务员考试中存在着做不完、复习不完、写不完等“三不完”法则,考生如何应对这一法则,将决定能否在公务员考试胜出的关键。  关键词:公务员 考试 “三不完”法则    公务员被广大求职者认为是一“金饭碗”,众多求职者都想进入公务员队列,以致公务员考试已经成为社会的一个新热
丝瓜育苗床土消毒可采用物理与化学两种方式进行。物理消毒通常采用高温消毒的方式。化学消毒又分为福尔马林消毒、多菌灵粉剂消毒、代森锌粉剂消毒、氯化苦消毒等。生产中应
摘要:加德纳在多元智力理论中提出了智力的新内涵和智力的基本框架,并认为不同个体拥有其独特的智力结构,表现出个体间的智力差异。多元智力理论对我国教学改革有如下启示:树立人人成材的学生观、树立因材施教的教学观、坚持统一性和多样化的课程观、坚持多元多维的评价观;我们在借鉴和应用多元智力理论时,也会遇到一些值得深思的问题。  关键词:多元智力理论 教学改革 启示    一、加德纳的多元智力理论    美国
摘要:本文通过对电子专业毕业生在企业工作情况的跟踪调查,反思目前高职院校电子专业技能培养中存在的一些问题,提出了在技能培养方面的改革措施,以期能优化本专业人才培养模式,提高学生的技能水平。  关键词:电子专业 技能培养 培养模式    有人认为,电子专业对人员的素质要求高,不仅要有较高的理论也要有较强的技能,还要具备知识更新的能力,因此要学好电子技术,对高职院校几乎是不可能。的确,电子专业是一种对