逻辑方程解的性质

以二值命题逻辑的真度理论为基础,提出了基于真度理论的逻辑方程的概念,并给出了此种逻辑方程解的存在性定理,并就τ(A→X)=α的逻辑方程展开了讨论,其中,A是舍有 n 个原子公式的合式公式,X是待定的公式,A的真度τ(A)=K/2n,α=m/2n,且1-τ(A)＜α≤1.我们得到了如下结论:(1)以上逻辑方程的解的等价类个数为Cmn+k-2nk·22n-k.(2)α≠1时,上述方程的解集合是不相容的.(3)解集合中公式的相似度最大值为1-1/2n,相似度的最小值为|2n+1-2m-k|/2n.(4)形如τ((A→X)∧(X→A))=α的逻辑方程其解集合是不相容的.     

效应代数中的模糊滤子

在效应代数中引入模糊滤子和模糊理想的概念,讨论了它们的性质;引入并研究了强模糊滤子;在全序效应代数中提出了一个模糊同余关系并证明了这样生成的同余类是一个全序格效应代数.     

完全分配格上的序同态

本文进一步研究了由作者在中给出的完全分配格上的序同态的基本性质.在此基础上,我们给出了序同态的一种重要特例——Fuzz函数成为Zadeh型函数的充要条件.最后,我们引入并研究了连续序同态、闭序同态与开序同态等概念.     

不分明拓扑学的若干研究方向

自1968年C.L,Chang提出不分明拓扑空间的概念以来,不分明拓扑学得到了迅速的发展。从近年来发表的有关论文来看,不仅所涉及问题的面在不断扩大。而且对问题的分析讨论也在逐步深化。各个不同方向的研究都得出了一些比较深刻的结果,可以说是各有千秋。本文试图从这些纷繁的研究课题中整理出几个研究方向来,并对各方面的研究工作作一概略的分析。     

高效液相色谱荧光衍生法检测醇和酸的进展

高效液相色谱荧光衍生化醇和酸能提高检测灵敏度,改善分离效果,综述了最近十多年来高效液相色谱荧光衍生法检测醇和酸的进展情况。列出了衍生化试剂的结构,评述了衍生化的反应条件。指出了今后的发展方向。     

高效毛细管电泳对农药手性拆分的进展

环境中使用的农药绝大多数都具有位置或光学异构体,而且同一农药的不同对映体通常也具有不同的药效和毒性,但是目前有关手性农药的研究还很少,高效毛细管电泳是一门特别适于手性分离研究的技术,综述了近年来利用高效毛细管电泳技术对手性农药进行拆分的研究,最后对该工作的发展前景进行了讨论。     

二值命题逻辑中命题的真度理论

利用势为2的均匀概率空间的无穷乘积在经典二值命题逻辑中引入了公式的真度概念以及公式间的相似度概念,进而导出了全体公式集上的一种伪距离,为二值命题逻辑的近似推理理论提供了一种可能的框架.     

平移空间的线性结构

本文证明了在平移空间上可利用距离在一定条件下构作出线性结构,引入了次范整线性空间的概念,还证明了平移空间是次范整线性空间当且仅当它的平移群是Abel群.泛函分析学中的有界线性算子定理,Hahn-Banach定理以及共鸣定理都可以移植于次范整线性空间之中.     

从事实逻辑到任务逻辑

在经典命题逻辑语言中引入附加算子几，较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”，介绍了“任务逻辑”的语义理论，并从语构上定义形式系统L与之对应，证明该系统的可靠性、完备性及可判定性定理．最后建立系统L中的一系列基本定理。     

命题逻辑系统L*的有效集

针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L*△中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对M P规则封闭的有效集的特征。