格值有限状态机的子系统

提出了格值有限状态机（简记为LFSM）状态后继、子机和子系统的概念,通过LFSM状态集的4种格值子集刻画了LFSM子系统的一系列性质和构成子系统的充分必要条件．最后,通过LFSMs同态的概念得到了子系统的像仍是子系统等结论．     

格值自动机与语言

引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语言的特性与取值格代数性质的紧密联系.     

格值正则文法及其语言的性质

给出了(确定)格值正则文法与(确定)格值正则语言的定义．从一个新的角度，即文法的角度研究确定格值正则语言关于正则运算的封闭性，从而完善了格值正则语言的运算性质，并给出了格值正则文法与确定格值正则文法等价的条件．     

基于完全剩余格值逻辑上的半群（Ⅰ）

该文定义了基于完全剩余格值逻辑上的半群的概念．在此逻辑框架下，给出了半群中的子群、正则子半群和完全正则子半群的结构，并讨论了它们的某些代数性质     

格值正则语言的代数性质

本文主要从可容集的角度研究了格值正则语言，给出了一个语言是格值正则语言的充要条件，并说明了格值正则语言关于商是封闭的．     

格值直觉模糊有限自动机的直积与覆盖

给出了格值直觉模糊有限自动机,格值直觉模糊有限自动机的全直积、限制直积以及覆盖的定义,提出了格值直觉模糊有限自动机的状态转移函数可扩充的充要条件,研究了格值直觉模糊有限自动机在全直积和限制直积情形下的转移函数性质,讨论了格值直觉模糊有限自动机的全直积和限制直积的覆盖关系,得到了一些乘积自动机覆盖关系的传递性质,为进一步研究格值直觉模糊有限自动机奠定了基础.     

上下文无关格值词语言研究

文章在格半群意义下，提出基于词计算的上下文无关格值文法，证明由其生成的格值词语言关于并与连接运算封闭，及其与乔姆斯基范式文法等价．     

基于完全剩余格值逻辑上的半群（I）

该文定义了基于完全剩余格值逻辑上的半群的概念，在此逻辑框架下，给出了半群中的子群、正则子半群和完全正则子半群的结构，并讨论了它们的某些代数性质。     

(Q)格值模型论的紧致性定理

对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了紧性致定理。     

四值非线性格值逻辑中公式的概率真度

王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑上和非均匀概率空间上有一定的可行性.