The starting point of this paper is the classical well-known theorem due to G. BIRKHOFF, P. HALL, and J. SCHMIDT which establishes a one-to-one correspondence between compact closure operators, inductive closure operators, inductive closure systems, and closure operators generated in universal algebras (and generated in deductive systems, respectively). In the paper presented we make first step...

We show that every infinite-dimensional commutative unital C∗-algebra has a Hilbert C∗-module admitting no frames. In particular, this shows that Kasparov’s stabilization theorem for countably generated Hilbert C∗-modules can not be extended to arbitrary Hilbert C∗-modules.

I introduce yet another way to associate a C*-algebra to a graph and construct a simple nuclear C*-algebra that has irreducible representations both on a separable and a nonseparable Hilbert space. Kishimoto, Ozawa and Sakai have proved in [8] that the pure state space of every separable simple C*-algebra is homogeneous in the sense that for every two pure states φ and ψ there is an automorphis...

Recent graph-theoretic developments [26, 27] in the semantic theory of combination of logics look at a signature as a multi-graph (of sorts and connectives) and obtain the induced language as the category of multipaths where formulas appear as morphisms. This idea is carried over to Hilbert-style deductive systems by looking at an inference rule as a metaedge from its premises to its conclusion...

..................................................................................................................... 1 A. Two Digital Research Legs: Empirical Induction and Deductive Models ..... 2 B. Big Data for Development ........................................................................ 4 B1. CHARACTERISTICS OF BIG DATA...................................................................

The aim of this article is to study the concept of unique solvability of max-min fuzzy neutrosophic soft matrix equation and strong regularity of fuzzy neutrosophic soft matrices over Fuzzy Neutrosophic Soft Algebra (FNSA). A Fuzzy Neutrosophic Soft Matrix (FNSM) is said to have Strong, Linear Independent (SLI) column (or, in the case of fuzzy neutrosophic soft square matrices, to be strongly r...

We characterize the category of injective *-homomorphisms between commutative C*-subalgebras of various C*-algebras, namely C*-algebras of operators on separable Hilbert spaces, any finite-dimensional C*-algebra, and any commutative C*-algebra.

Let A be a Banach algebra with a Hilbert space norm (norm defined by a scalar product). We shall call A a right complemented algebra if it has the property that the orthogonal complement of a right ideal is again a right ideal. This notion was introduced in the author's doctoral thesis [5]. It was proved that under certain additional assumptions every right complemented algebra is left compleme...

In order to research the logical system whose propositional value is given in a lattice from the semantic viewpoint, Xu [7] proposed the concept of lattice implication algebras, and discussed some of their properties. Xu and Qin [8] introduced the notion of implicative filters in a lattice implication algebra, and investigated some of their properties. Turunen [5] introduced the notion of Boole...

Hilbert(ian) A-modules over finite von Neumann algebras with a faithful normal trace state (from global analysis) and Hilbert W*-modules over A (from operator algebra theory) are compared, and a categorical equivalence is established. The correspondence between these two structures sheds new light on basic results in L-invariant theory providing alternative proofs. We indicate new invariants fo...