剩余格的TL-滤子与TL-同余关系

将有界格上的t-模T应用于剩余格的滤子和同余上,提出了剩余格的TL-滤子与TL-同余关系。首先,研究TL-滤子与TL-同余的性质与一些等价刻画。得到了TL-滤子的集合与TL-同余关系的集合是同构的。最后研究了剩余格的商结构与同态定理,这些理论在其他逻辑代数系统中依然成立。     

剩余格中的Fuzzy(P)滤子的结构

在剩余格中引入生成Fuzzy(P)滤子的概念并给出了它的结构。证明了剩余格中的Fuzzy(P)滤子之集构成完备的分配格,并在全体Fuzzy(P)滤子之集上引入运算""和"→",证明了剩余格中的部分Fuzzy(P)滤子之集添入特殊的零元得到的集合带上这两个运算构成剩余格。     

正则剩余格中的理想与滤子

讨论了正则剩余格的性质,并定义了正则剩余格的理想、滤子、同态与同余关系,通过讨论它们的性质,得出正则剩余格的理想与滤子是一一对应的.     

剩余格上n-重滤子的特征及结构

在剩余格中引入和讨论了n-重蕴涵滤子、n-重极滤子、n-重正蕴涵滤子和n-重布尔滤子的概念及特征性质,证明了剩余格上这几类n-重滤子之间相互转化的充要条件,研究结果拓展了剩余格上的滤子理论,并使剩余格上n-重滤子概念间的层次关系更加清晰和完善。     

区间集上非交换剩余格Fuzzy布尔滤子的特征性质简

运用区间集思想方法、滤子理论和广义Boole格,引入了区间集上非交换剩余格Fuzzy布尔滤子的定义,给出了区间集上非交换剩余格Fuzzy布尔滤子的等价刻画表示定理和特征性质.     

剩余格上n-重正蕴涵滤子的特征及刻画

在剩余格上引入了两类滤子——n-重蕴涵滤子和n-重正蕴涵滤子, 研究它们一系列的特征及性质,得到了剩余格上的非空子集F成为n-重蕴涵滤子和n-重正蕴涵滤子的充要条件,以及 这两类滤子之间相互等价的充要条件。研究结果进一步拓展了剩余格上的滤子理论, 并为其在代数逻辑及计算机信息处理等方面的应用奠定了理论基础。     

剩余格中的Fuzzy(P)滤子

在剩余格中引入了Fuzzy(P)滤子的概念,得到A是Fuzzy(P)滤子的充要条件是当λ∈[0,1]且Aλ≠时,Aλ是(P)滤子;在正则剩余格中引入了素Fuzzy(P)滤子的概念,证明了正则剩余格中的Fuzzy(P)滤子A是素Fuzzy(P)滤子的充要条件为a、b∈L,A(a b)=A(a)∨A(b)等结论.     

区间集非交换剩余格■-广义fuzzy奇异滤子的构造与属性约简

基于区间集思想、滤子理论和广义奇异概念,引入了区间集非交换剩余格和区间集非交换剩余格广义奇异滤子的定义,提出了构造区间集非交换剩余格广义fuzzy奇异滤子与区间集非交换剩余格■-广义fuzzy奇异滤子的方法,并给出它们之间的递进式本质属性与区间集相对必要属性的关系,体现代数结构表达的多样性与相对独立性。     

剩余格上几类n-重模糊滤子的相互关系

运用模糊集的方法和原理,通过在剩余格中引入n-重模糊蕴涵滤子、n-重模糊极滤子、n-重模糊正蕴涵滤子和n-重模糊Boole滤子的概念,得到了剩余格上这几类n-重模糊滤子之间的关系,并证明了剩余格上n-重模糊正蕴涵滤子和n-重模糊Boole滤子相互等价.     

基于非交换剩余格的模糊蕴涵滤子及其性质

对非交换剩余格的结构作了进一步研究。结合模糊数学的思想和方法, 在非交换剩余格上引入了模糊滤子,讨论了模糊滤子与分明滤子之间的关系; 并且在模糊滤子的基础上引入了模糊蕴涵滤子和模糊正蕴涵滤子的概念, 并讨论其基本性质,给出了模糊蕴涵滤子和模糊正蕴涵滤子的等价刻画, 证明了模糊正蕴涵滤子一定是模糊蕴涵滤子, 模糊蕴涵滤子和模糊正蕴涵滤子在一定条件下是等价的。     

关于剩余格的理想

研究了剩余格的理想,给出了理想的一些基本性质并利用理想的概念在剩余格上构造了一个同余关系,证明了一个剩余格在该同余关系下的商代数还是剩余格,获得正则剩余格上理想的若干等价刻画定理。     

剩余格蕴涵代数中准素理想的研究

在剩余格蕴涵代数中,提出了素理想和准素思想的概念,证明了包含核的理想的格蕴涵同态像仍是理想,并研究了准素理想与素理想的性质.讨论了准素思想与素理想、准素理想与其格蕴涵同态像之间的关系.     

剩余格上逻辑度量空间的拓扑性质

首先研究了逻辑度量空间(［0,1］, ρ_R)与度量空间(F(X),H_R)的关系,其次讨论了［0,1］剩余格上逻辑度量空间中Cauchy-列的收敛性问题,最后在一般剩余格上建立了一致拓扑结构,为我们研究一般剩余格的结构提供了一种新的方法,并为逻辑推理系统的鲁棒性分析奠定了理论基础。     

否定非对合剩余格的双极值模糊素理想

对否定非对合剩余格的双极值模糊理想问题作进一步深入研究。引入双极值模糊素理想(简称BF-素理想)概念并考察其性质特征。获得了BF-素理想的一些等价刻画, 建立了预线性否定非对合剩余格中的BF-素理想定理, 证明了BF-素理想的NRL-同态像与原像仍为BF-素理想。为进一步揭示否定非对合剩余格的结构特征拓展了研究思路。     

否定非对合剩余格的双极值模糊理想格

对否定非对合剩余格的双极值模糊理想问题做进一步深入研究,给出了由一个双极值模糊集生成的双极值模糊理想的定义并建立了其两个表示定理,证明了一个否定非对合剩余格L的全体双极值模糊理想之集BFI(L)在偏序下构成完备Heyting代数,为进一步揭示否定非对合剩余格的结构特征拓展了研究思路。     

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

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

一个新的直觉模糊蕴涵算子

在直觉模糊集理论基础上,结合模糊蕴涵的概念,构造了一个新的蕴涵算子,证明了该算子满足边界性、正则性、单调性等一些重要性质.在此基础上,证明了该蕴涵算子和直觉模糊交运算可构成直觉模糊剩余格.     

基于正规剩余格的一个逻辑系统及其完备性

在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性.