态BL-代数上的微分

在态BL-代数(A,σ)上引入(⊙,∨)-微分,研究了态BL-代数(A,σ)上(⊙,∨)-微分的性质。定义并研究了态BL-代数(A,σ)上正则微分和强微分,给出了正则强微分成为保序微分的等价条件。给出态BL-代数上的主微分的概念,讨论了全体主微分的代数结构,并利用Galois联结给出主微分的微分伴随。最后在态BL-代数(A,σ)上引入了不动点集A_(dσ),得到若d为正则保序的强微分时,A_(dσ)为A的格理想。我们的研究思路旨在将BL-代数上的态结构与微分结构紧密融合,以此来研究BL-代数的结构。