区间值模糊命题逻辑的广义拟重言式及其分类  

Generalizded Quasi-tautology of Interval-valued Fuzzy Propositional Logic System and Its Classification

作　　者：陈图云[1] 李晓冰[1] 

机构地区：[1]辽宁师范大学数学学院,辽宁大连116029

出　　处：《辽宁师范大学学报（自然科学版）》2004年第3期282-284,共3页Journal of Liaoning Normal University:Natural Science Edition

基　　金：国家自然科学基金资助项目(69973019)

摘　　要：通过定义规范区间值模糊命题逻辑的→S蕴涵算子,讨论了区间值模糊命题逻辑广义拟重言式的分类,获得了与王国俊的一维赋值格广义重言式理论类似的结果.In this paper,an interval-valued Fuzzy Propositional Logic System is built by definging an→_S-implication and the classification of generalized quasi-tautology in this system is discussed.The results obstained are similar to the theory of generalized tautology in the one-dimensional valued-lattice introduced by Wang Guojun.

关 键 词：命题逻辑 区间值 广义重言式理论 类似 蕴涵算子 一维 赋值 模糊 

分 类 号：N945[自然科学总论—系统科学] O141[理学—数学]