R_(0)代数的几类双极值模糊滤子及其相互关系

把双极值模糊集和R_(0)代数相结合,分别给出R_(0)代数的双极值模糊MP滤子,双极值模糊关联MP滤子,双极值模糊正规滤子的概念,讨论这几类双极值模糊滤子的性质,研究它们之间的等价刻画。

关于形式系统L^(*)的强完备性

进一步讨论了形式系统 L? 中的一般演绎推理及强完备性问题。对于任意的公式集 Γ, 引入一种 新的代数结构—R0(Γ) 代数, 利用子代数结构, 代数滤子理论及次直积分解理论等代数工具, 证明 了系统 L? 的强完备性定理。