否定非对合剩余格上基于正规模糊理想的一致拓扑空间

拓扑结构是逻辑代数研究领域的重要研究内容之一,为了揭示否定非对合剩余格上的拓扑结构,基于正规模糊理想诱导的同余关系在否定非对合剩余格上构造一致拓扑空间并讨论其拓扑性质.证明了:(1)一致拓扑空间是第一可数,零维,非连通,局部紧的完全正则空间;(2)一致拓扑空间是T_1空间当且仅当是T_2空间;(3)否定非对合剩余格中格运算和伴随运算关于一致拓扑都是连续的,从而构成拓扑否定非对合剩余格.同时,获得了一致拓扑空间是紧空间和离散空间的充分必要条件.最后,讨论了拓扑否定非对合剩余格中代数同构与拓扑同胚间的关系.对从拓扑层面进一步揭示否定非对合剩余格的内部特征具有一定的促进作用.     

BL代数的(∈,∈∨q)-模糊滤子理论

对BL代数的(∈,∈∨q)-模糊滤子理论作系统研究。首先,在BL代数中引入(∈,∈∨q)-模糊对合滤子和(∈,∈∨q)-模糊结合滤子两类新概念,获得了这两类(∈,∈∨q)-模糊滤子的几个等价刻画。其次,详细讨论了BL代数中各类(∈,∈∨q)-模糊滤子间的关系,证明了一个模糊集为(∈,∈∨q)-模糊布尔(关联)滤子当且仅当它既是(∈,∈∨q)-模糊正关联滤子又是(∈,∈∨q)-模糊对合滤子。最后,以直观图示的方式对BL代数中各类(∈,∈∨q)-模糊滤子间关系进行了总结。     

否定非对合剩余格的模糊LI理想

对否定非对合剩余格的模糊LI理想问题作进一步深入研究.首先,给出了模糊LI理想的一些新性质和新刻画.然后,引入正规模糊LI理想的概念并研究其性质,获得了模糊LI理想成为正规模糊LI理想的若干充要条件.     

用恒温热重法测定1-己基-3-甲基咪唑苏氨酸离子液体[C_6mim][Thr]蒸汽压和蒸发焓

用中和法合成了氨基酸离子液体(AAIL)1-己基-3-甲基苏氨酸盐[C_6mim][Thr],并用核磁共振氢谱(~1H NMR)和核磁共振碳谱(~(13)C NMR)进行了表征。以苯甲酸为参考物质,用恒温热重法确定了AAIL[C_6mim][Thr]的蒸汽压和在平均温度下(T_(av)=438.15K)的蒸发焓(△_I~gH_m~θ(T_(av))=128.5±6.0kJ·mol~(-1))。利用Verevkin等人提出的方法计算得到AAIL[C_6mim][Thr]气态和液态的恒压热容差(△_I~gC_m~θ_ρm=-70.8 J·K~(-1)·mol~(-1)),进而计算了不同温度的蒸发焓,其中参考温度(298.15 K)下的蒸发焓△_I~gH_m~θ(298.15 K)=138.4 kJ·mol~(-1),只比应用我们提出的蒸发焓理论模型估算值大1.6 kJ·mol~(-1),小于恒温热重法的实验误差3.0 kJ·mol~(-1),说明这个蒸发焓的理论模型有一定的合理性。借助Clausius-Clapeyron方程估算了AAIL[C_6mim][Thr]的假想的正常沸点T_b=522.07 K,以及沸点的蒸发熵△_I~gS_m~θ(T_b)=228.5J·K~(-1)·mol~(-1),进一步得到了不同温度的蒸发熵和蒸发自由能△_I~gG_m~θ(T),其结果表明蒸发自由能随着温度的上升而减小,达到沸点温度T_b时变为零,而蒸发熵则随着温度上升而增大,是AAIL[C_6mim][Thr]蒸发过程的驱动力。     

剩余格的模糊滤子理论

运用模糊集的方法和原理进一步深入研究剩余格的滤子问题.在剩余格中引入了模糊预线性滤子,模糊可除滤子和模糊Glivenko滤子三类新的模糊滤子概念,给出了它们的若干性质和等价刻画.系统讨论了这三类模糊滤子以及模糊正关联滤子,模糊Boolean滤子,模糊MV滤子和模糊正则滤子间的相互关系,证明了一个模糊滤子为模糊MV滤子当且仅当它既是模糊正则滤子又是模糊可除滤子的结论.     

关于格蕴涵代数的(∈,∈∨q~([k]))-fuzzy LI-理想的注记

运用fuzzy集的思想和方法对格蕴涵代数的(∈,∈∨q~([k]))-fuzzy LI-理想概念作进一步研究.引入了格蕴涵代数的(∈,∈∨q~([k])-fuzzy LI-理想的概念并给出了它的一个等价刻画.讨论了(∈,∈∨q~([k]))-fuzzy LI-理想和(∈,∈∨q~([k])-fuzzy LI-理想与LI-理想的关系,建立并证明了相应的关系定理.     

Heyting代数的不变滤子

综合运用泛代数与逻辑学的方法和原理对Heyting代数中滤子概念作进一步深入研究.引入了Heyting代数的关于其子集的不变滤子概念.给出了不变滤子的若干性质.证明了Heyting代数的关于一个给定子集的不变滤子全体之集构成一个完备Heyting代数.     

BL-代数的(∈,∈∨q)-模糊素滤子

利用模糊拓扑中模糊点重于和属于模糊集的概念研究模糊逻辑代数结构,在BL-代数中引入(∈,∈∨q)-模糊素滤子的概念并研究其性质.获得了BL-代数中(∈,∈∨q)-模糊素滤子的若干等价刻画,讨论了BL-代数中素滤子与(∈,∈∨q)-模糊素滤子间的关系,考察了BL-代数中(∈,∈∨q)-模糊素滤子的同态性质,证明了BL-代数中(∈,∈∨q)-模糊素滤子的同构(同态)像(原像)仍为(∈,∈∨q)-模糊素滤子这一结论.     

FI代数上基于模糊滤子的一致拓扑空间

拓扑结构是逻辑代数领域的重要研究内容之一,为了揭示FI代数上的拓扑结构,基于模糊滤子诱导的同余关系在FI代数上构造一致拓扑空间并讨论其拓扑性质,证明了:(i)一致拓扑空间是非连通、局部紧的完全正则空间;(ii)一致拓扑空间是T_0空间当且仅当是T_1当且仅当是T_2空间;(iii)FI代数中蕴涵算子关于一致拓扑是连续的,从而构成拓扑FI代数.同时,获得了一致拓扑空间是紧空间的充分必要条件.最后,讨论了商空间的性质.该研究对从拓扑层面进一步揭示FI代数内部特征具有一定的促进作用.     

Fuzzy蕴涵代数的素MP滤子

对Fuzzy蕴涵代数(简称FI代数)的滤子理论作深入研究.首先对由非空集合生成的MP滤子的性质作进一步探讨;然后引入素MP滤子的概念并讨论其基本性质,给出了素MP滤子的若干等价刻画,证明了并半格FI代数的素MP滤子定理;最后利用素MP滤子概念时满足条件(S)的并半格FI代数的MP滤子格((L)MP(X),(∩))中的素元进行刻画.