胡洪萍 吴洪博

广义重言式 广义语义MP规则 分划 子代数 可达α-重言式 比值判别法 敛散性 广义语义HS规则 模糊逻辑 模糊命题演算 α-重言式 重言式 排列 Hα逻辑系统 推广 排序定理 系统Hα 正项级数

西安文理学院数学系 陕西西安 陕西师范大学数学与信息科学学院