We survey all known results in the area of quasigroup and loop theory to have been
obtained with the assistance of automated theorem provers. We provide both informal and …

In a natural way, we can “lift” any operation defined on a set A to an operation on the set of
all non-empty subsets of A and obtain from any algebra (A, Ω) its power algebra of subsets …

A. Pilitowska, A. Zamojska-Dzienio REPRESENTATION OF MODALS 1. Introduction
Algebras considered in this paper are modes and moda Page 1 DEMONSTRATIO …

In this paper a generalized entropic property is defined for a pair of operations. We show that
for an idempotent algebra A=(A, f, g) with two ternary operations, if one of f or g is …

In a natural way we can “lift” any operation defined on a set A to an operation on the set of all
non-empty subsets of A and obtain from any algebra (A, Ω) its power algebra of subsets. In …

On entropicity in n-ary semigroups Page 1 Quasigroups and Related Systems 24 (2016),
197 − 204 On entropicity in n-ary semigroups Sonia Dog Abstract. We investigate entropicity …

We investigate entropicity and the generalized entropic property in n n-semigroups. These
two properties are not equivalent for n n-semigroups in general, but we show that there are …

The complex product of (non-empty) subalgebras of a given algebra from a variety V is
again a subalgebra if and only if the variety V has the so-called generalized entropic …

CmA AF ρ= is called the complex algebra of A. The complex algebras (called also the
globals or the powers of algebras) were studied by several authors [1–7]. The notion of …

In this paper we investigate a property of the algebras of complexes (or power algebras or
globals) which is a natural generalization of the notion of having all subgroups to be …