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

拓扑结构是逻辑代数研究领域的重要研究内容之一,为了揭示否定非对合剩余格上的拓扑结构,基于正规模糊理想诱导的同余关系在否定非对合剩余格上构造一致拓扑空间并讨论其拓扑性质.证明了:(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理想的若干充要条件.     

Heyting代数的不变滤子

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

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

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

剩余格的模糊滤子理论

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

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

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

非对合剩余格的正规双极值模糊理想

本文对非对合剩余格的双极值模糊理想问题作进一步深入研究.引入了非对合剩余格的正规双极值模糊理想概念, 考察了其性质并获得了其若干等价刻画.同时, 给出了两类特殊的双极值模糊理想的定义, 分别称为极大双极值模糊理想和完全正规双极值模糊理想并讨论了它们的性质和相互关系.这些工作为进一步揭示非对合剩余格的结构特征拓展了研究思路.     

FI-代数的多种Fuzzy滤子

对FI-代数的各种滤子概念进行fuzzy化,引入fuzzy滤子、fuzzy P-滤子、fuzzy Q-滤子和fuzzy C-滤子等概念并给出它们的若干等价刻画。证明了:(1)每个fuzzy Q-滤子都是fuzzy P-滤子;(2)一个fuzzy集成为fuzzy Q-滤子当且仅当它既是fuzzy P-滤子又是fuzzy C-滤子。还给出了多种滤子的扩张定理以及具体的实例和反例。     

格蕴涵代数的蕴涵表示定理

在对格蕴涵代数和模糊蕴涵代数研究的基础上,给出了格蕴涵代数的三个蕴涵表示定理。极大地简化了格蕴涵代数的定义形式,使得格蕴涵代数在形式上更加突出逻辑代数的特征及其与其它逻辑代数之间的联系与区别。为进一步研究格蕴涵代数及其与其它逻辑代数的关系提供了一个有力的工具。