格值逻辑公式中短语的文字的可消性

本文分别给出了格值逻辑公式中短语和文字可消去的一些充要条件，从而为格值逻辑公式的化简提供了理论基础。     

格值有穷自动机和单体二阶格值逻辑

引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Buchi-Elgot基本定理.通过引入星自由语言与非周期格值语言,完全刻画了可以用一阶格值逻辑定义的格值语言,得到了格值逻辑意义下的Schutzenberger分类定理.     

模糊集层次结构的本质刻画

将Zadeh提出的模糊集的模糊结构提升到格值结构,引入赋予格值结构的集合概念,称之为格值集合,并给出了格值集合的表示定理.在此基础上,证明格值集合范畴可以嵌入到集合的层范畴,说明格值结构具有层结构这一特征,从而揭示格值集合具有层次结构,这一结果也刻画了Zadeh模糊集的层次结构的本质特征.     

几类格值自动机的关系

本文给出了四类格值自动机及其语言的定义,证明了前三类格值自动机的等价性,讨论了第四类格值自动机与前三类格值自动机的关系。     

格值有限状态机的弱交换性

提出了格值有限状态机可弱交换的概念和格值变换半群可弱交换的概念,用矩阵和半群对格值有限状态机的弱交换性进行刻画,得出了格值有限状态机可弱交换的几个等价条件,并找出了格值有限状态机的弱交换性与其伴随第二类格值变换半群弱交换性的关系。此外,研究了格值有限状态机的满直积、限制直积、级联积、圈积及和的弱交换性,并研究了格值有限状态机伴随第二类格值随变换半群的全直积和限制直积的弱交换性,得出了其全直积和限制直积可弱交换的充分条件。     

格值有限状态机的乘积与覆盖

给出了格值有限状态机的覆盖一种新的定义,在这种新的定义下讨论两个格值有限状态机的之间的覆盖关系,也讨论了格值有限状态机全直积、限制直积、级联积与圈积之间的覆盖关系以及格值有限状态机的积与覆盖它们的格值有限状态机的积之间的覆盖关系。     

格值树自动机的乘积与覆盖

给出了格值树自动机的全直积、限制直积、级联积、圈积与覆盖的概念,讨论格值树自动机积之间的关系、格值树自动机的之间的覆盖关系以及格值树自动机的积之间的覆盖关系。     

格值有限自动机的乘积

初步建立了格值有限自动机的乘积理论.引入了格值变换半群,研究了格值有限自动机在各种乘积情形下的转移函数性质,讨论了各种乘积之间的覆盖关系,为进一步研究量子自动机的乘积理论奠定基础.     

格值模型论中的无限力迫方法

本文把Robinson模型论无限力迫法引进格值模型论中。设Σ是语言(?)的格值模型类。我们定义了Σ中模型(?)与(?)(A)的句子间的力迫关系,我们证明了格值generic模型存在定理以及格值generic模型类(?)的一些模型论性质。本文还给出了格值力迫伴随理论,格值模型伴随理论以及格值拟generic模型类的一些基本性质。     

基于格半群的有限状态自动机的同态

本文研究了格值有限状态自动机(LFSA)的同态和强同态及其性质.利用强同态概念,在格值有限状态自动机的状态集上建立了一种等价关系,得到了格值有限状态自动机的商自动机,证明了商自动机与强同态像自动机同构.     

基于格值逻辑的模糊概念格

从逻辑的角度,将非经典逻辑之一的格值逻辑引入概念格,建立了格值模糊形式背景,通过格结构来刻画对象与属性之间的模糊关系,证明了由蕴涵算子诱导的算子对是伽罗瓦连接,并讨论了相关的一些性质,进而给出了格值模糊概念格的构造算法.格值模糊概念格的建立为模糊性与不可比较性信息的处理提供了可靠的数学工具.     

基于群范畴的L-fuzzy结构提升范畴及其表示

引入群范畴上L-fuzzy结构提升范畴与格值结构提升范畴概念,L-fuzz结构是在逻辑层面表达群理论多值语义的有点化描述,也是Zermelo-Fr(a)nkel公理集合理论和各种代数形式理论的格值模型的语义赋值,而格值结构是在范畴层面表达群理论多值语义的无点化描述,本文建立了L-fuzzy结构与格值结构这两种不同数学结构之间的联系,证明了在范畴层面上述两种结构是同构的.给出了基于群范畴的L-fuzzy结构的格值结构表示.     

逆序(L)集合范畴的格值函数空间及其性质

引入逆序(L)集合范畴概念,并研究该范畴中两种函数空间结构表示,即格值函数空间与伪格值函数空间,进一步指出在逆序(L)集合范畴中格值函数空间函子与格值积函子互为伴随及伪格值函数空间函子与格值交函子也互为伴随,从而逆序(L)集合范畴为Cartesian闭范畴.     

基于L*-格值逻辑上的BCH-代数中的直觉不分明化理想

在L*-格值逻辑的语义框架下,以L*-格值上的Lukasiewicz蕴涵算子为工具定义了L*-格值逻辑上的直觉不分明化BCH-代数的概念,将用集论所刻画的BCH-代数与理想的概念在L*-格值谓词演算下给予了新的刻画,讨论了直觉不分明化BCH-代数中的理想、闭理想及q理想的有关性质.     

基于模糊字符串的Mealy格值有限自动机及其最小化

提出取值为格半群的Mealy格值有限自动机的概念,进而得到基于模糊字符串的Mealy格值有限自动机的扩张模型,并较详细讨论了其性质. 同时定义了扩张的完备Mealy格值有限自动机的行为矩阵, 在此基础上给出了其最小化算法.     

格值代数系统的解分析

引入了格值形式幂级数的概念并建立其运算法则,给出格值形式幂级数特有的性质。重点研究代数系统在格序幺半群下的解的存在性与唯一性问题。扩充定义了V-proper格值代数系统,给出其解的袁达式,研究其与proper格值代数系统的关系,并与定义在自然数半环上的代数系统进行比较,最后得出结论:proper和V-proper格值代数系统都存在唯一强解。体现出格值代数系统具有更好的性质。     

(￡)集合范畴的Cartesian闭性

定义(た)集合范畴中的一些基本概念,并研究了(た)集合范畴的格值函数空同,进一步指出了格值函数空间函子与格值积函子互为伴随.即(た)集合范畴满足Gartesian闭性,其为Cartesian闭范畴.     

格值命题逻辑系统中基于滤子的MP归结演绎

给出了格值命题逻辑系统中子句的极简规则型范式,定义了MP归结.结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤予的MP归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理.为进一步研究格值逻辑的自动归结推理奠定了理论基础.     

本刊外文版6卷3期文章简介

<正> 格值半连续映射在解决L不分明紧化理论问题中起着基本而重要的作用,在本文中,我们给出了格值半连续映射与格的完全分配性之间的相互描述关系、格值满层空间、弱诱导空间和诱导空间(统称之     

基于L~*-格值逻辑上的BCK-代数中直觉不分明化理想

在L~*-格值逻辑的语义框架下,以L~*-格值上的Lukasiewicz蕴涵算子为工具定义了L~*-格值逻辑上的直觉不分明化BCK-代数的概念,将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L~*-格值谓词演算下给予了新的刻画,讨论了它们的性质及其关系,研究了这些理想与其同态象、同态原象之间关系,获得了同类理想之积仍为该类理想.