首页
|
本学科首页
官方微博
|
高级检索
全部学科
医药、卫生
生物科学
工业技术
交通运输
航空、航天
环境科学、安全科学
自然科学总论
数理科学和化学
天文学、地球科学
农业科学
哲学、宗教
社会科学总论
政治、法律
军事
经济
历史、地理
语言、文字
文学
艺术
文化、科学、教育、体育
马列毛邓
全部专业
中文标题
英文标题
中文关键词
英文关键词
中文摘要
英文摘要
作者中文名
作者英文名
单位中文名
单位英文名
基金中文名
基金英文名
杂志中文名
杂志英文名
栏目中文名
栏目英文名
DOI
责任编辑
分类号
杂志ISSN号
适用于多种蕴涵算子的赋值空间上的测度与积分理论
作者姓名:
王国俊
作者单位:
陕西师范大学数学研究所,
基金项目:
国家自然科学基金重点项目!(批准号 :198310 40 )
摘 要:
对多种蕴涵算子导出的赋值空间进行统一处理,引入公用的Lebesgue测度,证明了相对于若干常见蕴涵算子而言,全体逻辑公式都是可测函数.建立了
t
(α重言式)理论,提出了一般的语义MP规则和一般的语义HS规则. 基于积分理论引入了逻辑公式的真度概念,提出了积分MP规则和积分HS规则.最后,通过通用逻辑度量空间概念在全体公式集上引入了伪距离,为近似推理提供了一种可能的框架.
关 键 词:
赋值空间
Lebesgue测度与积分
真度
通用逻辑度量空间近似推理
t
(α重言式)
蕴涵算子
收稿时间:
2000-01-30
修稿时间:
2000-05-09
本文献已被
CNKI
维普
万方数据
等数据库收录!
点击此处可从《中国科学(E辑)》浏览原始摘要信息
点击此处可从《中国科学(E辑)》下载全文
设为首页
|
免责声明
|
关于勤云
|
加入收藏
Copyright
©
北京勤云科技发展有限公司
京ICP备09084417号