切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
T系统的一种改进系统T0^*
T系统的一种改进系统T0^*
来源 :纯粹数学与应用数学 | 被引量 : 0次 | 上传用户:letaopangpang
【摘 要】
:
研究了王国俊教授建立的模糊命题演算的形式演绎系统T以及在语义上相关的修正的Kleene逻辑系统W,W,Wk,给出了T系统的一种改进系统T0,并证明了二者之间的等价性,为形式演绎系统T的
【作 者】
:
吴洪博
【机 构】
:
唐山师范学院数学系
【出 处】
:
纯粹数学与应用数学
【发表日期】
:
2001年1期
【关键词】
:
模糊逻辑
命题演算
形式演绎系统T
改进形式演绎系统T
逻辑系统
Fuzzy logic
propositional calculus
formal ded
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究了王国俊教授建立的模糊命题演算的形式演绎系统T以及在语义上相关的修正的Kleene逻辑系统W,W,Wk,给出了T系统的一种改进系统T0,并证明了二者之间的等价性,为形式演绎系统T的研究和应用提供了一个有益的途径。
其他文献
卫生行政执法责任制探讨
今年以来我省和宁波市人民政府办公厅相继发出《关于进一步深化完善和全面推行行政执法责任制的实施意见》,从建立权责明确、行为规范、监督有效、保障有力的行政执法体制着手
期刊
行政执法责任制
卫生
人民政府办公厅
行为规范
执法体制
依法行政
宁波市
继发
玉杖丹对大鼠肝损伤的保护作用研究
慢性肝损伤在临床十分常见,任其发展会导致肝纤维化甚至肝硬化的发生。在保护肝脏的众多药物中,中药以其多环节、多层次及多靶点的综合作用已显出较明显的优势。复方中药玉杖丹
期刊
慢性肝损伤
保护作用
大鼠
复方中药
肝损伤模型
肝纤维化
清热解毒
中药组成
永康市2006年地方性氟中毒调查结果分析
永康市是浙江省32个饮水型地氟病病区之一,据1984年、1989年地方性氟中毒流行病学调查结果显示,有11个乡的16个自然村为地氟病村,水氟含量最高的达6.6mg/L,8~15岁儿童氟斑牙患
期刊
地方性氟中毒
调查结果
永康市
水型地氟病
水氟含量
流行病学
检测结果
改水工作
B超检查在药物流产中的应用价值
米非司酮配伍前列腺素药物终止妊娠称为药物流产,受到育龄妇女的广泛欢迎。但如何提高完全流产率,减少并发症,是我们亟待解决的问题。应用腹部B超对1011例早期妊娠患者,在其药物
期刊
药物流产
B超检查
诊断价值
药物终止妊娠
米非司酮配伍
完全流产率
前列腺素
育龄妇女
一起流动人口儿童麻疹爆发调查
2005年3月16—24日,浦江县仙华街道下五里村陆续出现类似麻疹症状病例,共报告疑似麻疹病例12例,息儿均为云南省镇雄籍1—5岁儿童。疫情发生后,县疾控中心立即派出专业人员进行现
期刊
麻疹病例
流动人口儿童
爆发调查
现场流行病学调查
爆发疫情
5岁儿童
专业人员
疾控中心
临床表现
检测结果
湖州市南浔区麻疹流行情况分析
今年以来,南浔区麻疹发病出现上升趋势,发病比去年同期上升12.7倍,疫情形势严峻,为指导防治工作,现将近期流行态势分析报告如下。
期刊
流行情况分析
麻疹
湖州市
上升趋势
形势严峻
态势分析
发病
东阳市1999~2004年麻疹流行情况分析
根据卫生部《加速控制麻疹规划指南》和《全国麻疹监测方案(试行)》,我市从1999年起将麻疹纳入AFP监测系统并实施运转。现将我市1999~2004年麻疹疫情及监测情况进行分析和评价。
期刊
麻疹疫情
流行情况分析
东阳市
AFP监测系统
监测方案
监测情况
卫生部
化妆品新材料
【正】 东京钟纺公司(Kanebo)开发出一种新的化妆品材料,商品为UVMicrocapsule(紫外线微型胶囊),它能改进化妆品的效果,可有效减轻紫外线对皮肤造成的伤害。紫外线吸收剂密封
期刊
化妆品
紫外线吸收剂
新材料
微型胶囊
直接接触
皮肤
密封
商品
东京
伤害
杭州市余杭区2004年性传播疾病流行特征
为了解我区性传播疾病的发病趋势和流行特点,现将2004年杭州市余杭区性传播疾病疫情分析如下。
期刊
传播疾病
余杭区
杭州市
流行特征
流行特点
发病趋势
疫情分析
浙江预防医学2008年(第20卷)1~12期目次索引
<正>~~
期刊
与本文相关的学术论文