廖大见 戴风明 顾红芳 赵敏 邹祥福 王住登 于延栋 翟余华 白鹏 朱梧槚 肖奚安

伪t-模 蕴涵 支持度 L关系方程 逻辑演算 直积分解 伴随对 弱t模 L-关系方程 强否定 库拉托斯基十四集定理 模型论 直积 证明论 t-模 三角模 剩余蕴涵 L-关系万程 拟t-模 拓扑 分解 伪t-模 伪 t-模 L-不分明化拓扑空间 递归论 t一模 t模 蕴涵算子 伪t模 蕴涵

伪t-模 蕴涵