西南交通大学学报2006，Vol.41Issue(2)：256-258,3.
格值命题逻辑系统Lvpl中的推理规则
Rules of Inference in Lattice-Valued Propositional Logic Lvpl
摘要
关键词
格值命题逻辑/推理规则/封闭性/语法/语义分类
数理科学引用本文复制引用
陈树伟,徐扬..格值命题逻辑系统Lvpl中的推理规则[J].西南交通大学学报,2006,41(2):256-258,3.基金项目
国家自然科学基金资助项目(60474022) （60474022）
