开滤子Domain的分配性

滤子和开滤子是研究序结构和拓扑结构的非常有用的工具.作者通过反例说明L即使为完全分配代数格也无法保证OFilit(L)的分配性,并且证明了对于连续分配半格L,其开滤子Domain OFilt(L)为分配格当且仅当L稳定连续.     

￡~*-Lindenbaum代数中的滤子

利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)∕～中的运算,在F(S)∕～中定义了滤子,讨论了滤子的性质,得到了F(S)∕～中的滤子都有形如的形式.     

Quantale中的L-模糊滤子及其相关性质

基于完备格L,在Quantale中引入了L-模糊滤子的概念,并研究了L-模糊滤子的基本性质.在L是闭集格的条件下,得到了Quantale中的L-模糊滤子的等价刻画;在L是空间式Frame且Q是幂等左半可换Quantale的条件下,证明了LQ上的生成滤子映射是Quantale核映射,进而全体L-模糊滤子构成的Quantale FilL(Q)是LQ的幂等的商Quantale;在Quantale中定义了L-模糊滤子拓扑,并得到了Quantale同态关于相应的L-模糊滤子拓扑连续的结论.     

L*-Lindenbaum代数中的滤子

利用格论中滤子的相关知识,对公式集D(Г)的性质进行研究。通过对D(Г)和R0代数中MP滤子相似性的比较分析,证明了L*-L indenbaum代数[F]中的MP滤子都是形如D(Г)形式的,其中D(Г)={[A]|Г├A,A∈F(S)};又进一步证明了[F]中的极大滤子(格论意义下)是极大MP滤子,而且给出了刻画[F]中极大滤子的一个充分条件.     

半模范畴中的生成与余生成

在半模范畴中，定义了半模的生成与余生成，以及生成子与余生成子．同时把环模上生成与余生成的相关性质推广到半模范畴中，得到了半模生成与余生成具有“可迁性”；最后的结果给出了关于Gen(U)和Cog(U)的一个很有用的性质，即生成与同态像的等价关系，余生成与同态核的等价关系．     

Luk-Lindenbaum代数中的*滤子

从*运算出发定义了*滤子,利用格论的相关知识,对公式子集D(Γ)进行研究。主要结果是:(1)Luk-Lindenbaum代数F(S)／～中的*滤子都是〈D(Γ)〉形式的;(2)*滤子与MP滤子一致,都是通常意义下的滤子;(3) F(S)／～中的极大*滤子与通常意义下的极大滤子是一致的。     

半群语言与正规语言

利用三元关系定义半群语言(半群的子集),初步讨论了半群语言的代数性质,然后证明了非空有限集合∑上的自由半群∑*的半群语言类与有穷状态自动机所接受的正规语言类是一致的。     

相容滤子完备偏序集上投射算子的几个性质

本文从对偶地角度出发,引入了相容滤子集、相容滤子完备偏序集的概念,并研究了偏序集及相容滤子完备偏序集上投射算子的几个性质.证明了若p:L→L是偏序集L上保相容滤子交的投射算子,则p(L)在L中对相容滤子交封闭等相关结论.     

模态R0代数与模态滤子的若干性质

进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠Φ,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F.并证明了任意一族模态滤子之交仍为模态滤子,所有素模态滤子之交为单点集{1}.     

ＢＬ代数的( , ∨ｑ)-模糊滤子格

对ＢＬ代数的(　, ∨ｑ)-模糊滤子理论作进一步深入研究， 给出了( , ∨ｑ)-模糊滤子的若干新性质，定义了由 ＢＬ 代数上的一个模糊集生成的(, ∨ｑ)-模糊滤子并建立了其表示定理， 证明了 ＢＬ 代数的全体( , ∨ｑ)-模糊滤子之集构成一个完备的分配格。