The main goal of this paper is to investigate very true MTL-algebras and prove the completeness of the very true MTL-logic. In this paper, the concept of very true operators on MTL-algebras is introduced and some related properties are investigated. Also, conditions for an MTL-algebra to be an MV-algebra and a Gödel algebra are given via this operator. Moreover, very true filters on very true MTL-algebras are studied. In particular, subdirectly irreducible very true MTL-algebras are characterized and an analogous of representation theorem for very true MTL-algebras is proved. Then, the left and right stabilizers of very true MTL-algebras are introduced and some related properties are given. As applications of stabilizer of very true MTL-algebras, we produce a basis for a topology on very true MTL-algebras and show that the generated topology by this basis is Baire, connected, locally connected and separable. Finally, the corresponding logic very true MTL-logic is constructed and the soundness and completeness of this logic are proved based on very true MTL-algebras.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The notions of left-right noncommutative Poisson algebra (NPlr-algebra) and left-right algebra with bracket AWBlr are introduced. These algebras are special cases of NLP-algebras and algebras with bracket AWB, respectively, studied earlier. An NPlr-algebra is a noncommutative analogue of the classical Poisson algebra. Properties of these new algebras are studied. In the categories AWBlr and NPlr-algebras the notions of actions, representations, centers, actors and crossed modules are described as special cases of the corresponding wellknown notions in categories of groups with operations. The cohomologies of NPlr-algebras and AWBlr (resp. of NPr-algebras and AWBr) are defined and the relations between them and the Hochschild, Quillen and Leibniz cohomologies are detected. The cases P is a free AWBr, the Hochschild or/and Leibniz cohomological dimension of P is ≤ n are considered separately, exhibiting interesting possibilities of representations of the new cohomologies by the well-known ones and relations between the corresponding cohomological dimensions.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.