In this paper the concept of Q-fuzzification of ideals of Γ-semigroups has been introduced and some important properties have been investigated. A characterization of regular Γ-semigroup in terms of Q-fuzzy ideals has been obtained. Operator semigroups of a Γ-semigroup has been made to work by obtaining various relationships between Q-fuzzy ideals of a Γ-semigroup and that of its operator semig...

We give a general reduction of lengths-of-proofs lower bounds for constant depth Frege systems in DeMorgan language augmented by a connective counting modulo a prime p (the so called AC[p] Frege systems) to computational complexity lower bounds for search tasks involving search trees branching upon values of maps on the vector space of low degree polynomials over Fp. In 1988 Ajtai [2] proved th...

The concept of an automatic structure has been generalized from groups [ECH+] to semigroups [CRRT]. Several authors [CRR, Hof, Kam] have asked the following question: Let S be a finitely generated semigroup embeddable in a group and let G be its universal group [CP, Chapter ]. If G is automatic, must S be automatic? Examples in favour of this implication include: free groups and s...

We consider pseudodifferential operators that have non-smooth negative definite symbols and develop a corresponding symbolic calculus. Combining this symbolic calculus with the use of non-smooth symbols that are asymptotically constant in the co-variable we succeed in finding a parametrix for a certain pseudodifferential equation. This in turn allows us to show that some pseudodifferential oper...

Clifford and Preston (1961) showed several important characterizations of right groups. It was shown in Roy and So (1998) that, among topological semigroups, compact right simple or left cancellative semigroups are in fact right groups, and the closure of a right simple subsemigroup of a compact semigroup is always a right subgroup. In this paper, it is shown that such results can be generalize...

We generalize the concept of near weight stated in [2007, IEEE Trans. Inform. Theory 53(5), 1919–1924] in the sense that we consider maps to arbitrary wellordered semigroups instead of the nonnegative integers. This concept can be used as a tool to study AG codes based on more than one point via elementary methods only.

In this paper we introduce the notion of fuzzy  semigroup via fuzzy partial ordering and investigate some properties connected with fuzzy  semigroup. Keyword: Fuzzy  semigroup

We study algebraic and topological properties of topological semigroups containing a copy of the bicyclic semigroup C(p, q). We prove that each topological semigroup S with pseudocompact square contains no dense copy of C(p, q). On the other hand, we construct a consistent example of a Tychonov countably compact semigroup containing a copy of C(p, q). In this paper we study the structural prope...

In the paper we study (countably) compact and (absolutely) H-closed primitive topological inverse semigroups. We describe the structure of compact and countably compact primitive topological inverse semigroups and show that any countably compact primitive topological inverse semigroup embeds into a compact primitive topological inverse semigroup. In this paper all spaces are Hausdorff. A semigr...

In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorithms for multi-valued model checking. We first show how to reduce multi-valued model checking with any distributive DeMorgan lattice to standard, two-valued model checking. We then present a direct, automata-theoretic a...