HEYTING代数相关论文
Steven Vikers将拓扑的方法与逻辑理论的结果相结合于专著...
非可换逻辑代数是非可换逻辑相应的代数结构.BL代数是基本逻辑（Basic Logic）系统的代数结构,而伪BL代数是BL代数的非可换推广.非可换......
剩余格是由美国学者Ward和Dilworth于1939年提出的一种非常重要且基本的代数结构.常见的逻辑代数如MTL-代数,BL-代数,MV代数,Heyti......
相等代数自提出就引起了学者们的广泛研究,它是高阶模糊逻辑所对应的代数系统.逻辑代数的研究过程中,滤子理论扮演者重要的角色,从......
本论文的研究包括两个方面(都与格上拓扑学有关).一方面，研究了L-值随机变量(其中L是闭集格或分子生成格).受到已有文献中研究L-拓......
在数学方面，Heyting代数是一个Boole代数一般化的偏序集，完备Heyting代数(即Frame)是研究无点化拓扑的中心主体.本文主要从以下几......
非经典逻辑是模糊推理及模糊控制等理论基础的一部分。近年来，模糊控制技术在应用方面取得了举世瞩目的成功．然而，作为其核心的模糊推......
在有零元的Heyting代数上定义了一种运算(○×),并讨论了这种运算和Heyting代数上nucleus的一系列性质.......
在完备格中引入了四种二元运算,即蕴涵运算,反蕴涵运算,伪蕴涵运算和伪反蕴涵运算,它们分别对应四类伴随关系,其中两类伴随关系分......
讨论了犹豫模糊集在Heyting代数滤子理论中的应用,引入了Heyting代数的犹豫模糊(布尔、蕴涵、正蕴涵、超、顽固)滤子的概念,并研究......
定义并讨论了Heyting代数中的直觉模糊滤子及其性质．给出了直觉模糊格滤子与直觉模糊滤子的关系，得到了直觉模糊滤子的几个等价条件．......
Heyting代数是作为直觉主义命题逻辑的代数模型而引起的，Fuzzy蕴涵代数是[0,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出Heyting......
本文研究了模糊蕴涵代数的一些性质,给出了模糊蕴涵代数成为Heyting代数的一个条件,得到对模糊蕴涵代数的结构特征刻画,并给出了一......
证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R......
本文目的是在无逆序对合的分配格上研究余拓扑的Urysohn性质,利用coHeyting代数的pseudo-negation和分子的linked component的概念......
引入偏序集上的相对极大理想的概念，证明在任意的条件并半格中的一个理想是相对极大理想当且仅当它是理想格中的完全并即约元，最后给......
理想是研究逻辑代数结构特征的重要工具性概念之一．本文综合运用代数学与模糊集的方法和原理，在有界Heyting代数中引入模糊LI-理想概......
本文比较系统地控计了正交模格的一些代数性质,得到了拟Heyting代数与弱BL代数等新的几类代数系统。......
利用模糊点属于和重于模糊集的概念,引入Heyting代数的（∈,∈∨q）-模糊滤子的概念,研究它的性质,给出了Heyting代数中（∈,∈∨q）-模糊......
引用偏序半群中剩余的概念，对有界蕴涵BCK－代数X的伴随半群M（X）作了详细讨论，证明了M（X）是一个有补格，模格，进一步证明了M（X）是一个Heyting代......
引进作为特殊locale的离散拓扑P(X)的2种理想:主理想与WB理想,并研究了其对交运算的封闭性,对并运算的某些性质,同时在一定的条件......
给出THeyting代数中模糊滤子的定义，并研究了它的一些性质，运用Heyting代数中经典滤子的一些性质以及模糊集的截集和强截集得到THeyt......
结合扰动模糊集和滤子理论,引入Heyting代数的扰动模糊滤子的概念,讨论它的性质,给出了扰动模糊滤子的几个等价刻画,在Heyting代数......
在极大滤子定义基础上引入极大并滤子概念,进而给出分配格的一个新的内部刻画,并证明了其存在性定理.最后,讨论了Heyting代数中极......
Heyting代数是作为直觉主义命题的代数模型而引进的，而BCK代数是日本数学家于1966年引入的代数。讨论了Heyting代数与BCK代数之间的......
给出了Heyting代数中同余关系的一种简单定义，这种定义并不改变全体滤子和全体同余关系之间的一一对应性，并且借助滤子证明了这种定......
通过在格上定义等价关系，给出了分配格，Heyting代数，Boolean代数的一致等价刻画。由此得到了Heyting代数与Boolean代数分解定理．......
