赋值格为非线性序的Kleene-Dienes四值逻辑系统K24
研究赋值格为非线性序,非运算(┐)不同于Boole的补运算',而蕴含算子→取Kleene-Dienes的Rx的一种新的四值逻辑系统K24*,得到若干结果.特别是,K:中没有重言式,其准重言式恰与C2中的重言式一致,即QT(K24)=T(C2).
作 者： 郑亚林 张文修 ZHENG Ya-lin ZHANG Wen-xiu 作者单位： 西安交通大学,理学院,信息科学与系统科学研究所,陕西,西安,710049 刊 名： 模糊系统与数学 ISTIC PKU 英文刊名： FUZZY SYSTEMS AND MATHEMATICS 年，卷(期)： 1999 13(3) 分类号： B815.6 关键词： Fuzzy逻辑 Kleene-Dienes蕴含算子 α-重言式 准重言式