In this paper, we have introduced the concept of fuzzy ordered AG-groupoids which is the generalization of fuzzy ordered semigroups first considered by Kehayopulu and Tsingelis (2002). We have studied some important features of a left regular ordered AG-groupoid in terms of fuzzy left ideals, fuzzy right ideals, fuzzy two-sided ideals, fuzzy generalized bi-ideals, fuzzy bi-ideals, fuzzy interio...

The notion of intuitionistic fuzzy sets was introduced by Atanassov as a generalization of the notion of fuzzy sets. Y.B. Jun and S.Z. Song introduced the notion of intuitionistic fuzzy points. In this paper we find some relations between the intuitionistic fuzzy ideals of a semigroup S and the set of all intuitionistic fuzzy points of S. Keywords—Semigroup, Regular(intra-regular) semigroup, In...

We define strict closure space algebras as Boolean algebras augmented with a unary operation Int that satisfies conditions analogous to those of the interior operation from strict closure spaces. We also consider a first order modal logic SCS in which the necessity operator satisfies analogous conditions. Sikorski proved that every interior algebra can be represented as an algebra of subsets of...

The closure of a regular language under a [partial, semi-] commutation I has been extensively studied. We present new advances on two problems of this area: (1) When is the closure of a regular language under [partial, semi-] commutation still regular? (2) Are there any robust classes of languages closed under [partial, semi-] commutation? We show that the class Pol(G) of polynomials of group l...

We consider n-dimensional semi-algebraic spatial databases. We compute in first-order logic extended with a transitive closure operator, a linear spatial database which characterizes the semi-algebraic spatial database up to a homeomorphism. In this way, we generalize our earlier results to semi-algebraic spatial databases in arbitrary dimensions, our earlier results being true for only two dim...

In this paper, extension of the EQ-logic by the ∆connective is introduced. The former is a new kind of many-valued logic which based on EQ-algebra of truth values, i.e. the algebra in which fuzzy equality is the fundamental operation and implication is derived from it. First, we extend the EQ-algebra by the ∆ operation and then introduce axioms and inference rules of EQ∆-logic. We also prove th...

In this paper, the concept of fuzzy local ω-language, Büchi fuzzy local ω-language are studied and we give some closure properties of fuzzy local ω-languages. We also establish relationship between deterministic fuzzy local automaton and fuzzy local ω-language. Further we show that every fuzzy regular ω-language is a projection of a Büchi fuzzy local ω-language.

Given a Banach space operator with interior points in the localizable spectrum and without non-trivial divisible subspaces, this article centers around the construction of an infinite-dimensional linear subspace of vectors at which the local resolvent function of the operator is bounded and even admits a continuous extension to the closure of its natural domain. As a consequence, it is shown th...

The purpose of this paper is to define the product related neutrosophic topological space and proved some theorems based on this. We introduce the concept of neutrosophic semiopen sets and neutrosophic semi-closed sets in neutrosophic topological spaces and derive some of their characterization. Finally, we analyze neutrosophic semi-interior and neutrosophic semi-closure operators also. Mathema...