Sublattices corresponding to very true operators in commutative basic algebras
Journal Title: Discussiones Mathematicae - General Algebra and Applications - Year 2014, Vol 34, Issue 2
Abstract
We introduce the concept of very true operator on a commutative basic algebra in a way analogous to that for fuzzy logics. We are motivated by the fact that commutative basic algebras form an algebraic axiomatization of certain non-associative fuzzy logics. We prove that every such operator is fully determined by a certain relatively complete sublattice provided its idempotency is assumed.1 Keywords: commutative basic algebra, very true operator, idempotent operator, relatively complete sublattice. 2010 Mathematics Subject Classification: 06B23, 03G25, 03B45.
Authors and Affiliations
Filip Švrček, Ivan Chajda
Keywords
Related Articles
- EP ID EP167723
- DOI -
- Views 44
- Downloads 0
M-SOLID GENERALIZED NON-DETERMINISTIC VARIETIES
A generalized non-deterministic hypersubstitution is a mapping which maps operation symbols of type τ to the set of terms of the same type which does not necessarily preserve the arity. We apply the generalized nondeterm...
ON A PERIOD OF ELEMENTS OF PSEUDO-BCI-ALGEBRAS
The notions of a period of an element of a pseudo-BCI-algebra and a periodic pseudo-BCI-algebra are defined. Some of their properties and characterizations are given.
SOME RESULTS OF REVERSE DERIVATION ON PRIME AND SEMIPRIME Γ-RINGS
In the present paper, it is introduced the definition of a reverse derivation on a Γ-ring M. It is shown that a mapping derivation on a semiprime Γ-ring M is central if and only if it is reverse derivation. Also it is sh...
CUBIC GENERALIZED BI-IDEALS IN SEMIGROUPS
In this paper, the concept of a cubic generalized bi-ideal in a semigroup is introduced, which is a generalization of the concept of a fuzzy generalized bi-ideal and interval-valued fuzzy generalized bi-ideal. Using this...
CODES OVER HYPERFIELDS
In this paper, we define linear codes and cyclic codes over a finite Krasner hyperfield and we characterize these codes by their generator matrices and parity check matrices. We also demonstrate that codes over finite Kr...