期刊文献+

二次检索

题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

年份

学科

共找到1篇文章
< 1 >
每页显示 20 50 100
形式模糊命题逻辑推理系统 被引量:2
1
作者 邓安生 刘叙华 《东北师大学报(自然科学版)》 CAS CSCD 1989年第2期21-26,共6页
本文给出了真值取在布尔代数上的形式模糊命题逻辑推理系统 FL,并且证明了它的一致性,有效性和完备性。
关键词 形式模糊命题 逻辑推理系统 有效性
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部