论文部分内容阅读
给出了格值命题逻辑系统中子句的极简规则型范式，定义了MP归结。结合格蕴涵代数中滤子的性质，对格值命题逻辑系统中基于滤子的MP归结演绎及其语义与语法性质进行了研究，证明了归结演绎的可靠性与完备性定理。为进一步研究格值逻辑的自动归结推理奠定了理论基础。
格值命题逻辑系统中基于滤子的MP归结演绎
【摘 要】
：
给出了格值命题逻辑系统中子句的极简规则型范式，定义了MP归结。结合格蕴涵代数中滤子的性质，对格值命题逻辑系统中基于滤子的MP归结演绎及其语义与语法性质进行了研究，证明了归
【机 构】
：
西南交通大学数学系
【出 处】
：
模糊系统与数学
【发表日期】
：
2009年1期
【基金项目】
：
国家自然科学基金资助项目（60474022）,西南交通大学基金资助项目（2006809）：
其他文献
深化国有企业改革,必须建立与社会主义市场经济相吻合的企业产权制度.而职工持股制度是对企业治理结构的完善,也是我国产权制度改革、建立现代企业制度的创新.它是构建既与中
随着我国改革开放以来,工业的现代化发展战略得到了发展空间,强大的制造业是我国经济得以飞速发展,全世界到处都 能找到印有“Made in China”的商品,中国成了全世界制造业