论文部分内容阅读
通过对模糊命题演算的形式演绎系统L*及修正的Kleene逻辑系统W,W,Wk的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了广义语义HS规则和广义语义MP规则,为进一步对修正的Kleene逻辑系统的研究提供一个有益的工具.
修正的Kleene系统中的一种降级算法及其性质
【摘 要】
：
通过对模糊命题演算的形式演绎系统L*及修正的Kleene逻辑系统W,W,Wk的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式
【机 构】
：
中国农业大学经济管理学院,陕西师范大学数学信息科学学院
【出 处】
：
工程数学学报
【发表日期】
：
2004年4期
【基金项目】
：
陕西师范大学校科研和教改项目
其他文献
本文给出Banach空间中楔形上半紧1-集压缩映象A的方程Ax=μx解的某些结果.其次,还扩充和改进几个具Altman型行列式的不等式的不动点定理.
炒制是中药炮制最常用最重要的方法之一。其方法就是将净选、切制合格的中药放置锅内,进行加热翻动或与规定的辅料共同加热翻动,使中药达到相应的程度以适应临床配方的需要。