Closure Operators of Lattice-valued Propositional Logic LP(X)

In this paper, closure operators of lattice-valued propositional logic LP（X） are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP（X） is investigated. At the same time, a tool for checking compactness of LP（X） is given.

L-fuzzy闭包算子及其等价刻画

借助L-fuzzy映射和L-fuzzy集的像,给出了由L-fuzzy映射诱导的L-fuzzy闭包算子及其等价刻画.当L为有限分配格时,讨论了代数的L-fuzzy闭包算子及其所诱导的闭包系统的等价刻画.

内部算子与闭包算子的若干性质

研究了内部算子与闭包算子的一系列性质,得到如下结果:1)解决了有限完备链上内部算子和闭包算子的个数问题;2)证明了偏序集上的内部算子和闭包算子的图像是阶梯状的;3)建立了内部算子之集和闭包算子之集与某集合的幂集之间的序同构;4)找到了一个映射成为内部算子或闭包算子的等价刻画.

Z-代数格和Z-代数交结构

讨论Z-代数格,Z-代数交结构以及Z-代数闭包算子之间的关系,得到了格L上的Z-代数闭包算子与带顶元的Z-代数交结构之间存在一一对应关系,并且每一个Z-代数格都与带顶元的Z-代数交结构同构。

闭包算子与Topped交结构的序关系

研究了同一集合上的几种闭包算子与相应的Topped(带有最大元的)交结构之间的序关系.在任意集合X上的全体闭包算子之集C(X)、Topped交结构之集I(X)、代数闭包算子之集AC(X)、代数Topped交结构之集AI(X)上分别定义了偏序,证明了C(X)、AC(X)、I(X)及AI(X)都是完备格,并且C(X)与I(X)对偶同构,AC(X)与AI(X)对偶同构.得到了集合X上的全体拓扑闭包算子之集TC(X)与全体拓扑Topped交结构之集TI(X)对偶同构,拟阵闭包算子之集MC(X)与拟阵Topped交结构之集MI(X)(拟阵闭集族)对偶同构.