-algebras endowed with additive closure operators or with its duals-multiplicative interior operators (closure or interior -algebras) were introduced as a non-commutative generalization of topological Boolean algebras. In the paper, the multiplicative interior and additive closure operators on -monoids are introduced as natural generalizations of the multiplicative interior and additive closure operators on -algebras.
In the paper an additive closure operator on an abelian unital -group is introduced and one studies the mutual relation of such operators and of additive closure ones on the -algebra .
Closure -algebras are introduced as a commutative generalization of closure -algebras, which were studied as a natural generalization of topological Boolean algebras.
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.
We study unitary rings of characteristic 2 satisfying identity 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 or or for a suitable natural number n. Some other (more general) cases are solved for p expressed in the form or where q is a natural number and .
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...
It is well known that to every Boolean ring can be assigned a Boolean algebra whose operations are term operations of . Then a symmetric difference of together with the meet operation recover the original ring operations of . The aim of this paper is to show for what a ring a similar construction is possible. Of course, we do not construct a Boolean algebra but only so-called lattice-like structure which was introduced and treated by the authors in a previous paper. In particular, we reached...
A term operation implication is introduced in a given basic algebra and properties of the implication reduct of are treated. We characterize such implication basic algebras and get congruence properties of the variety of these algebras. A term operation equivalence is introduced later and properties of this operation are described. It is shown how this operation is related with the induced partial order of and, if this partial order is linear, the algebra can be reconstructed by means of...
The concept of a relatively pseudocomplemented directoid was introduced recently by the first author. It was shown that the class of relatively pseudocomplemented directoids forms a variety whose axiom system contains seven identities. The aim of this paper is three-fold. First we show that these identities are not independent and their independent subset is presented. Second, we modify the adjointness property known for relatively pseudocomplemented semilattices in the way which is suitable for...
Semirings are modifications of unitary rings where the additive reduct does not form a group in general, but only a monoid. We characterize multiplicatively idempotent semirings and Boolean rings as semirings satisfying particular identities. Further, we work with varieties of enriched semirings. We show that the variety of enriched multiplicatively idempotent semirings differs from the join of the variety of enriched unitary Boolean rings and the variety of enriched bounded distributive lattices....
Page 1