Let X be a separable complete metric space. We characterize completely the innnitesimal generators of semigroups of linear transformations in C b (X), the bounded real-valued continuous functions on X, that are induced by strongly continuous semigroups of continuous transformations in X. In order to do this, C b (X) is equipped with a locally convex topology known as the strict topology. Introd...

We prove that if X is a locally compact σ-compact space then on its quotient, γ(X) say, determined by the algebra of all real valued bounded continuous functions on X, the quotient topology and the completely regular topology defined by this algebra are equal. It follows from this that if X is second countable locally compact then γ(X) is second countable locally compact Hausdorff if and only i...

It is well known that lattice-valued rough sets are important branches of fuzzy sets. The axiomatic characterization and related topology the main research directions For L=(L,⊛), a complete co-residuated lattice (CCRL), Qiao recently defined an L-fuzzy lower approximation operator (LFLAO) on basis relation. In this article, we give further study Qiao’s LFLAO around induced L-topology. Firstly,...

By interpreting ‘p is impossible’ by ‘p is selfcontradictory’, and ‘p is always’ by ‘not p is self-contradictory’, this paper studies which of the three-valued systems of Łucasiewicz, Gödel, Kleene, Bochvar, and Post, do verify the Aristotle’s principles of Non-Contradiction (NC), and Excluded-Middle (EM). Keywords— Systems of three-valued logic, Non-Contradiction, Excluded-Middle.

Granular Computing on partitions (RST), coverings (GrCC) and neighborhood systems (LNS) are examined: 1. The order of generality is RST, GrCC, and then LNS 2. The quotient structure: In RST, it is called quotient set. In GrCC, it is a simplical complex, called the nerve of the covering in combinatorial topology. For LNS, the structure has no known description. 3. The approximation space of RST ...

Introduction and motivation To explain the motivation of our work we give a short glimpse into the history of Fuzzy Topology called more recently Lattice-Valued Topology or Many Valued Topology. In 1968, C. L. Chang [1] introduced the notion of a fuzzy topology on a set X as a subset τ ⊆ [0, 1] satisfying the natural counterparts of the axioms of topology: (1) 0X , 1X ∈ τ ; (2) U, V ∈ τ ⇒ U ∧ V...

We define a notion of morphism for quotient vector bundles that yields both a category QVBun and a contravariant global sections functor C : QVBun → Vect whose restriction to trivial vector bundles with fiber F coincides with the contravariant functor Top → Vect of F -valued continuous functions. Based on this we obtain a linear extension of the adjunction between the categories of topological ...

Classically, two propositions are logically equivalent precisely when they are true under the same logical valuations. Also, two logical valuations are distinct if, and only if, there is a formula that is true according to one valuation, and false according to the other. By a real-valued logic we mean a many-valued logic in the sense of Petr Hájek that is complete with respect to a subalgebra o...

EXTENDED ABSTRACT. In recent years, networked multi-agent systems have attracted much research attention from various disciplines of engineering and science due to their interdisciplinary nature and broad potential applications. Collective behaviors arise from simple local interaction rules in complex networked systems. Graph Laplacian plays a very important role in analysis of networked multi-...

We develop global pluripotential theory in the setting of Berkovich geometry over a trivially valued field. Specifically, we define and study functions measures finite energy non-Archimedean Monge–Ampère operator on any (possibly reducible) projective variety. also investigate topology space valuations linear growth, behavior plurisubharmonic thereon.