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.
Topological Boolean algebras are generalizations of topological spaces defined by means of topological closure and interior operators, respectively. The authors in [14] generalized topological Boolean algebras to closure and interior operators of MV-algebras which are an algebraic counterpart of the Łukasiewicz infinite valued logic. In the paper, these kinds of operators are extended (and investigated) to the wide class of bounded commutative Rl-monoids that contains e.g. the classes of BL-algebras (i.e., algebras of the Hájek's basic fuzzy logic) and Heyting algebras as proper subclasses.
We study unitary rings of characteristic 2 satisfying identity $x^p = x$ for some natural number p. We characterize several infinite families of these rings which are Boolean, i.e., every element is idempotent. For example, it is in the case if $p = 2^{n} - 2$ or $p = 2^{n} - 5$ or $p = 2^{n} + 1$ for a suitable natural number n. Some other (more general) cases are solved for p expressed in the form $2^{q} + 2m + 1$ or $2^{q} + 2m$ where q is a natural number and $m ∈ {1,2,...,2^{q} - 1}$.
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ć.