马巧云 韩诚 于鹏 王小敏 陈景林 乔希民 阎满富 文秋梅

命题逻辑系统 α-真度 NBL形式系统 矛盾式 R0单位区间 逻辑代数 正规滤子 广义演绎定理

河北唐山 陕西西安 商洛学院数学系 四川大学数学学院 西安文理学院数学系 唐山师范学院数学系 陕西师范大学数学研究所 陕西师范大学数学与信息科学学院