HEYTING代数与FUZZY蕴函代数

Heyting代数是作为直觉主义命题逻辑的代数模型而引起的，Fuzzy蕴涵代数是[0,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出Heyting代数的若干基本性质，并证明了Heyting代数是Fuzzy蕴涵代数，也是Heyting型Fuzzy蕴涵代数。     

完备格中四种蕴涵运算与伴随关系

在完备格中引入了四种二元运算,即蕴涵运算,反蕴涵运算,伪蕴涵运算和伪反蕴涵运算,它们分别对应四类伴随关系,其中两类伴随关系分剐对应于Heyting代数与反Heyting代数,并且我们还讨论了关于四种二元运算的部分性质及其关系.     

模糊蕴涵代数的结构特征

本文研究了模糊蕴涵代数的一些性质,给出了模糊蕴涵代数成为Heyting代数的一个条件,得到对模糊蕴涵代数的结构特征刻画,并给出了一个(2,0)型代数(X,→,0)成为模糊蕴涵代数的充分必要条件.     

正则Fuzzy蕴涵代数

Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出正则 Fuzzy蕴涵代数的几个刻画 ,并且得到正则 Fuzzy蕴涵代数构成格的几个条件。     

MV代数定义的蕴涵简化形式

通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。     

Fuzzy蕴涵代数

本文讨论一个新的代数系统Fuzzy蕴涵代数,简称FI代数。FI代数是[0,1]值逻辑的蕴涵连接词的代数抽象,我们讨论了两类重要的FI代数—正则FI代数和HFI代数,并指出正则HFI代数与Boole代数的内在联系。     

Fuzzy蕴涵代数的t-范及其性质

Fuzzy蕴涵代数是[0,1]值逻辑蕴涵联结词的一种代数抽象.本文在Fuzzy蕴涵代数中讨论了其上t-范的性质,并给出了Fuzzy蕴涵代数成为偏序半群的一个条件.     

Fuzzy蕴涵代数与有界BCK代数的关系

本文讨论了Fuzzy蕴涵代数与有界BCK代数互为对偶的关系。     

蕴涵代数与BCK代数

系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数     

Fuzzy蕴涵代数的MP理想与正规MP理想

在Fuzzy蕴涵代数(简称FI代数)上引入了MP理想与正规MP理想的概念并给出了它们的等价刻画;探讨了FI代数的MP理想、偏序理想和正规MP理想间的多种关系, 证明了一个正则FI代数是可交换FI代数当且仅当它的每个MP理想都是正规理想,也当且仅当{0}是正规MP理想.     

关于Robbins代数与Heyting代数的类似性质

Ｓ．Ｗｉｎｋｅｒ在文〔１〕中给出了Ｒｏｂｂｉｎｓ代数成为Ｂｏｏｌｅａｎ代数的一个较弱的条件。本文将讨论Ｈｅｙｔｉｎｇ代数成为Ｂｏｏｌｅａｎ代数的条件，我们发现Ｈｅｙｉｎｇ代数成为Ｂｏｏｌｅａｎ代数的条件与Ｒｏｂｂｉｎｓ代数成为Ｂｏｏｌｅａｎ代数的条件相似，从而提示了Ｈｅｙｔｉｎｇ代数与Ｒｏｂｂｉｎｓ代数之间具有一定的关系。     

关于topos中的内蕴Heyting代数对象(英文)

本文研究了在一般topos中内蕴Heyting代数对象的性质.利用范畴的态射及伴随的方法,获得了内蕴Heyting代数对象为内蕴分配格结果,推广了集合范畴中的对应结果.     

n‐linear weakly Heyting algebras

The present paper introduces and studies the variety ????_n of n‐linear weakly Heyting algebras. It corresponds to the algebraic semantic of the strict implication fragment of the normal modal logic K with a generalization of the axiom that defines the linear intuitionistic logic or Dummett logic. Special attention is given to the variety ????₂ that generalizes the linear Heyting algebras studied in [10] and [12], and the linear Basic algebras introduced in [2]. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Subdirectly Irreducible and Directly Indecomposable Lattice Implication Algebras

Lattice implication algebra is an algebraic structure that is established by combining lattice and implicative algebra. It originated from the study on lattice-valued logic. In this paper, we characterize two special classes of lattice implication algebra, namely, subdi-rectly irreducible and directly indecomposable lattice implication algebras. Some important results are obtained.     

Bounded distributive lattices with strict implication

The present paper introduces and studies the variety WH of weakly Heyting algebras. It corresponds to the strict implication fragment of the normal modal logic K which is also known as the subintuitionistic local consequence of the class of all Kripke models. The tools developed in the paper can be applied to the study of the subvarieties of WH; among them are the varieties determined by the strict implication fragments of normal modal logics as well as varieties that do not arise in this way as the variety of Basic algebras or the variety of Heyting algebras. Apart from WH itself the paper studies the subvarieties of WH that naturally correspond to subintuitionistic logics, namely the variety of R‐weakly Heyting algebras, the variety of T‐weakly Heyting algebras and the varieties of Basic algebras and subresiduated lattices. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond

We study finitely generated free Heyting algebras from a topological and from a model theoretic point of view. We review Bellissima’s representation of the finitely generated free Heyting algebra; we prove that it yields an embedding in the profinite completion, which is also the completion with respect to a naturally defined metric. We give an algebraic interpretation of the Kripke model used by Bellissima as the principal ideal spectrum and show it to be first order interpretable in the Heyting algebra, from which several model theoretic and algebraic properties are derived. In particular, we prove that a free finitely generated Heyting algebra has only one set of free generators, which is definable in it. As a consequence its automorphism group is the permutation group over its generators.     

Functional monadic Heyting algebras

We show every monadic Heyting algebra is isomorphic to a functional monadic Heyting algebra. This solves a 1957 problem of Monteiro and Varsavsky [9]. Received May 18, 2001; accepted in final form October 18, 2001.     

DERIVATIONS ON DIFFERENTIAL OPERATOR ALGEBRA AND WEYL ALGEBRA

Let L be an n-dimensional nilpotent Lie algebra with a basis {x1,…,xn}, and every xiacts as a locally nilpotent derivation on algebra A. This paper shows that there exists a setof derivations {y1,…,yn} on U(L) such that (A#U(L))#k[yi,…,yn] is isomorphic to theWeyl algebra An(A). The author also uses the derivations to obtain a necessary and sufficientcondition for a finite dimensional Lie algebra to be nilpotent.     

无限维Heisenberg代数的导子代数和全形

给出了无维Ｈｅｉｓｒｂｅｒｇ代数的全形和全形的导子代数Ｄｅｒ（ｓ）证明（ｓ）不是一个完备李代数，但Ｄｅｒ（ｓ）是一个完备李代数。