Commutative pseudo BE-algebras
author
Abstract:
The aim of this paper is to introduce the notion of commutative pseudo BE-algebras and investigate their properties.We generalize some results proved by A. Walendziak for the case of commutative BE-algebras.We prove that the class of commutative pseudo BE-algebras is equivalent to the class of commutative pseudo BCK-algebras. Based on this result, all results holding for commutative pseudo BCK-algebras also hold for commutative pseudo BE-algebras. For example, any finite commutative pseudo BE-algebra is a BE-algebra, and any commutative pseudo BE-algebra is a join-semilattice. Moreover, if a commutative pseudo BE-algebra is a meet-semilattice, then it is a distributive lattice. We define the pointed pseudo-BE algebras, and introduce and study the relative negations on pointed pseudo BE-algebras. Based on the relative negations we construct two closure operators on a pseudo BE-algebra.We also define relative involutive pseudo BE-algebras, we investigate their properties and prove equivalent conditions for a relative involutive pseudo BE-algebra.We define the relative Glivenko property for a relative good pseudo BE-algebra and show that any relativeinvolutive pseudo BE-algebra has the relative Glivenko property.
similar resources
Commutative pseudo-equality algebras
Pseudo equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurečenskij and Zahiri under the name of JK-algebras. In this paper we define and study the commutative pseudo equality algebras. We give a characterization of commutative pseudo equality algebras and we prove that an invariant pseudo equa...
full textCommutative Pseudo valuations on BCK-Algebras
D. Buşneag 1 defined pseudo valuation on a Hilbert algebra and proved that every pseudo valuation induces a pseudometric on a Hilbert algebra. Also, D. Buşneag 2 provided several theorems on extensions of pseudo valuations. C. Buşneag 3 introduced the notions of pseudo valuations valuations on residuated lattices, and proved some theorems of extension for these using the model of Hilbert algebr...
full textPseudo-Valuations on BE-Algebras
Based on the Buşneag’s model ([2, 3, 4]), the notion of pseudovaluations (valuations) on a BE-algebra is introduced, and a pseudometric is induced by a pseudo-valuation on BE-algebras. Related properties are investigated, and conditions for a real-valued function on a BE-algebra to be a pseudo-valuation are discussed. Using the notion of (pseudo) valuation, we show that the binary operation in ...
full textPseudo-BL algebras and pseudo-effect algebras
Pseudo-BL algebras and pseudo-effect algebras arose in two rather different fields: fuzzy logics and quantum logics. In this paper, by introducing the notion of pseudo-weak MV-effect algebra which is non-commutative generalization of weak MV-effect algebra, we investigate the mutual relationship between pseudo-BL algebras and pseudo-effect algebras. We prove that dual pseudo-BL algebra under ce...
full textPseudo Mv-algebras and Pseudo Bl-algebras
This material is studying MV-algebras and BL-algebras in terms of applicability in Boole algebra. Boole algebras are expanded use in fuzzy logic.
full textPseudo-commutative Monads
We introduce the notion of pseudo-commutative monad together with that of pseudoclosed 2-category, the leading example being given by the 2-monad on Cat whose 2-category of algebras is the 2-category of small symmetric monoidal categories. We prove that for any pseudo-commutative 2-monad on Cat, its 2-category of algebras is pseudo-closed. We also introduce supplementary definitions and results...
full textMy Resources
Journal title
volume 13 issue 1
pages 131- 144
publication date 2016-02-28
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023