based on a complete heyting algebra l, the relations between lfuzzifyingconvergence spaces and l-fuzzifying topological spaces are studied.it is shown that, as a reflective subcategory, the category of l-fuzzifying topologicalspaces could be embedded in the category of l-fuzzifying convergencespaces and the latter is cartesian closed. also the specialization l-preorderof l-fuzzifying convergenc...

In this paper we study properties of symbols such that these belong to class of symbols sitting insideSm ρ,φ that we shall introduce as the following. So for because hypoelliptic pseudodifferential operatorsplays a key role in quantum mechanics we will investigate some properties of M−hypoelliptic pseudodifferential operators for which define base on this class of symbols. Also we consider maxi...

We propose applications that utilize the infimum and the supremum of closure operators that are induced by structures occuring in the field of Description Logics. More specifically, we consider the closure operators induced by interpretations as well as closure operators induced by TBoxes, and show how we can learn GCIs from streams of interpretations, and how an error-tolerant axiomatization o...

M. H. Al-Abbadi and M. Darus 2009 recently introduced a new generalized derivative operator μ λ1 ,λ2 , which generalizedmany well-known operators studied earlier by many different authors. In this present paper, we shall investigate a new subclass of analytic functions in the open unit disk U {z ∈ C : |z| < 1} which is defined by new generalized derivative operator. Some results on coefficient ...

Concurrent games as event structures form a partial order model of concurrency where concurrent behaviour is captured by nondeterministic concurrent strategies—a class of maps of event structures. Extended with winning conditions, the model is also able to give semantics to logics of various kinds. An interesting subclass of this game model is the one considering deterministic strategies only, ...