Errors in implicative theories coming from binary data are studied. First, two classes of errors that may affect implicative theories are singled out. Two approaches for finding errors of these classes are proposed, both of them based on methods of Formal Concept Analysis. The first approach uses the cardinality minimal (canonical or DuquenneGuigues) implication base. The construction of such a...

In this paper, we give some characterizations of intraregular semigroups by the properties of their (∈,∈ ∨qk)-fuzzy right ideals, (∈,∈ ∨qk)-fuzzy left ideals, (∈,∈ ∨qk)-fuzzy interior ideals, (∈,∈ ∨qk)fuzzy bi-ideals and (∈,∈ ∨qk)-fuzzy generalized bi-ideals. 2010 AMS Classification: 03E72, 20M12

We investigate the class of quasitrivial semigroups and provide various characterizations of the subclass of quasitrivial and commutative semigroups as well as the subclass of quasitrivial and order-preserving semigroups. We also determine explicitly the sizes of these classes when the semigroups are defined on finite sets. As a byproduct of these enumerations, we obtain several new integer seq...

This paper studies automatic structures for subsemigroups of Baumslag–Solitar semigroups (that is, semigroups presented by ⟨x, y | (yx, xy)⟩ where m,n ∈ N). A geometric argument (a rarity in the field of automatic semigroups) is used to show that if m > n, all of the finitely generated subsemigroups of this semigroup are [right-] automatic. If m < n, all of its finitely generated subsemigroups ...

We study several degrees in defining a fuzzy positive implicative filter, which is a generalization of a fuzzy filter in BE-algebras.

In the present paper we give a partially negative answer to a conjecture of Ghahramani, Runde and Willis. We also discuss the derivation problem for both foundation semigroup algebras and Clifford semigroup algebras. In particular, we prove that if S is a topological Clifford semigroup for which Es is finite, then H1(M(S),M(S))={0}.

the main purpose of this paper is to establish a relation between universality of certain p-compactifications of a semitopological semigroup and their corresponding enveloping semigroups. in particular, we show that if we take p to be the property that the enveloping semigroup of a compactification of a semitopological semigroup s is left simple, a group, or the trivial singleton semigroup, the...

Let S be a locally compact foundation semigroup with identity and                          be its semigroup algebra. Let X be a weak*-closed left translation invariant subspace of    In this paper, we prove that  X  is invariantly  complemented in   if and  only if  the left ideal  of    has a bounded approximate identity. We also prove that a foundation semigroup with identity S is left amenab...

A Schmidt group is a non-nilpotent finite group in which each proper subgroup is nilpotent. Each Schmidt group G can be described by three parameters p, q and v, where p and q are different primes and v is a natural number, v ≥ 1. Denote by S the class of all Schmidt groups which have the same parameters p, q and v. It is shown in this paper that the class S can be characterized by the properti...

We demonstrate that the perforative phenomena shown to occur among simple amenable C∗-algebras by Villadsen and Toms can be realized within a dynamical framework. More specifically, we construct a minimal homeomorphism for which the K0 group of the crossed product fails to be weakly unperforated, and a minimal homeomorphism for which the crossed product has the same Elliott invariant as an AT-a...