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的一系列性质.......
s代数是与格上三角余模相关的一种代数.以s代数概念为基础,对其性质进行了讨论,并给出了它与其他逻辑代数间的关系,证明了s代数是......
在完备格中引入了四种二元运算,即蕴涵运算,反蕴涵运算,伪蕴涵运算和伪反蕴涵运算,它们分别对应四类伴随关系,其中两类伴随关系分......
讨论了犹豫模糊集在Heyting代数滤子理论中的应用,引入了Heyting代数的犹豫模糊(布尔、蕴涵、正蕴涵、超、顽固)滤子的概念,并研究......
定义并讨论了Heyting代数中的直觉模糊滤子及其性质．给出了直觉模糊格滤子与直觉模糊滤子的关系，得到了直觉模糊滤子的几个等价条件．......
本文目的在于对任一完备Heyting代数M,引入M的L-fuzzy素元的概念,并在这些L-fuzzy素元之集上赋予一自然的L-fUzzy拓扑,这样得到的L......
Ｓ．Ｗｉｎｋｅｒ在文〔１〕中给出了Ｒｏｂｂｉｎｓ代数成为Ｂｏｏｌｅａｎ代数的一个较弱的条件。本文将讨论Ｈｅｙｔｉｎｇ代数成为Ｂｏｏｌｅａｎ代数的条件，我们发现Ｈｅｙｉｎｇ代数成为Ｂｏｏｌｅａｎ代数的条件与Ｒｏｂｂｉｎｓ代数成为Ｂｏｏｌｅａｎ代数的条件......
Heyting代数是作为直觉主义命题逻辑的代数模型而引起的，Fuzzy蕴涵代数是[0,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出Heyting......
本文研究了模糊蕴涵代数的一些性质,给出了模糊蕴涵代数成为Heyting代数的一个条件,得到对模糊蕴涵代数的结构特征刻画,并给出了一......
证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R......
本文通过Ｈｅｙｔｉｎｇ代数谱空间的刻画，给出了Ｈｅｙｔｉｎｇ代数的拓扑表达。...
本文目的是在无逆序对合的分配格上研究余拓扑的Urysohn性质,利用coHeyting代数的pseudo-negation和分子的linked component的概念......
s代数是与格上三角余模相关的一种代数．以s代数概念为基础，对其性质进行了讨论，并给出了它与其他逻辑代数间的关系，证明了s代数是一个H......
引入偏序集上的相对极大理想的概念，证明在任意的条件并半格中的一个理想是相对极大理想当且仅当它是理想格中的完全并即约元，最后给......
理想是研究逻辑代数结构特征的重要工具性概念之一．本文综合运用代数学与模糊集的方法和原理，在有界Heyting代数中引入模糊LI-理想概......
Ｈｅｙｔｉｎｇ代数是一类重要的代数，很多数学结构都与这一代数有联系。在本文，我们指出，Ｈｅｙｔｉｎｇ代数的公理系统中的一个条件是多余的。......
Heyting代数是一类重要的代数.我们指出Heyting代数定义中的某个条件可略去,从而简化定义....
本文比较系统地控计了正交模格的一些代数性质,得到了拟Heyting代数与弱BL代数等新的几类代数系统。......
利用模糊点属于和重于模糊集的概念,引入Heyting代数的（∈,∈∨q）-模糊滤子的概念,研究它的性质,给出了Heyting代数中（∈,∈∨q）-模糊......
引用偏序半群中剩余的概念，对有界蕴涵BCK－代数X的伴随半群M（X）作了详细讨论，证明了M（X）是一个有补格，模格，进一步证明了M（X）是一个Heyting代......
引进作为特殊locale的离散拓扑P(X)的2种理想:主理想与WB理想,并研究了其对交运算的封闭性,对并运算的某些性质,同时在一定的条件......
本文概括了分配律在集合论、数理逻辑、偏序集中的表现形式及其相应的证明方法,并通过介绍论域理论的相关知识,给出Heyting代数关......
给出THeyting代数中模糊滤子的定义，并研究了它的一些性质，运用Heyting代数中经典滤子的一些性质以及模糊集的截集和强截集得到THeyt......
给出了Heyting代数成为Boole代数的几个充要条件.即Heyting代数H(,→)为Boole代数当且仅当如下条件之一成立:■a=a,■a∨a=1;或■H......
结合扰动模糊集和滤子理论,引入Heyting代数的扰动模糊滤子的概念,讨论它的性质,给出了扰动模糊滤子的几个等价刻画,在Heyting代数......
在极大滤子定义基础上引入极大并滤子概念,进而给出分配格的一个新的内部刻画,并证明了其存在性定理.最后,讨论了Heyting代数中极......
Heyting代数是作为直觉主义命题的代数模型而引进的，而BCK代数是日本数学家于1966年引入的代数。讨论了Heyting代数与BCK代数之间的......
Let (L, ≤, ∨, ∧) be a complete Heyting algebra. In this article, the linear system Ax = b over a complete Heyting alg......
Ｈｅｙｔｉｎｇ代数的若干性质黄文平（陕西师范大学数学系，西安７１００６２；作者，男，３６岁，副教授）设Ｌ＝（Ｌ，≤）是一个偏序集，如果Ｌ的每个有限子集Ａ都有上确界（记为∨Ａ）和下确界（记为∧......
给出了Heyting代数中同余关系的一种简单定义，这种定义并不改变全体滤子和全体同余关系之间的一一对应性，并且借助滤子证明了这种定......
通过在格上定义等价关系，给出了分配格，Heyting代数，Boolean代数的一致等价刻画。由此得到了Heyting代数与Boolean代数分解定理．......
