王小敏 吴洪博 许文艳 周红军 吴恒洋

中点 弱R0代数 演绎定理 模糊逻辑 不动点 非全序 完备性 L系统 圈乘算子 LLindenbaum代数 乘积R0代数 R0代数 广义重言式 强否定 真布尔元 独立性 特征定理

陕西西安 陕西师范大学数学研究所 江苏盐城 陕西师范大学数学与信息科学学院 盐城师范学院数学系 上海师范大学数理信息学院