In this paper, by using the sequence of adjointable operators from pro-C*-algebra $ mathcal{A} $ into a Hilbert $ mathcal{A} $-module $ E $. We introduce frames with bounds in pro-C*-algebra $ mathcal{A} $. New frames in Hilbert modules over pro-C*-algebras are called standard $ ast $-frames of multipliers. Meanwhile, we study several useful properties of standard $ ast $-frames in Hilbert modu...

in this note‎, ‎we aim to show that several known generalizations of frames are equivalent to the continuous frame‎ ‎defined by ali et al‎. ‎in 1993‎. ‎indeed‎, ‎it is shown that these generalizations can be considered as an operator between two hilbert spaces‎.

A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Henne...

This paper proposes a simple, distributed algorithm that achieves global stabilization of formations for relative sensing networks in arbitrary dimensions with fixed topology. Assuming the network runs an initialization procedure to equally orient all agent reference frames, convergence to the desired formation shape is guaranteed even in partially asynchronous settings. We characterize the alg...

Q. Does the Lorentz transformation reduce to the Galilean transformation when the ratio v /c is small? A. No. At least two routes are available to substantiate the negative response. I will first give a direct, algebraic route and then a more sophisticated indirect route. Consider the usual pair of inertial reference frames, the primed frame moving with speed v along the x axis of the unprimed ...

We introduce modal compact Hausdorff spaces as generalizations of modal spaces, and show these are coalgebras for the Vietoris functor on compact Hausdorff spaces. Modal compact regular frames and modal de Vries algebras are introduced as algebraic counterparts of modal compact Hausdorff spaces, and dualities are given for the categories involved. These extend the familiar Isbell and de Vries d...

A b s t r a c t. In this paper we shall study some extensions of the semilattice based deductive systems S (N) and S (N, 1), where N is the variety of bounded distributive lattices with a negation operator. We shall prove that S (N) and S (N, 1) are the deductive systems generated by the local consequence relation and the global consequence relation associated with ¬-frames, respectively. Using...

A new purely algebraic algorithm is presented for computation of invariants (generalized Casimir operators) of Lie algebras. It uses the Cartan’s method of moving frames and the knowledge of the group of inner automorphisms of each Lie algebra. The algorithm is applied, in particular, to computation of invariants of real low-dimensional Lie algebras. A number of examples are calculated to illus...

This paper sets two goals. The first is to present algebraists with a purely order-theoretic derivation of the adjunction between the category DCPO of DCPOs (directed complete posets) and the category Frm of frames. This adjunction restricts to several Stone-type dualities which are well-known and of considerable interest to computer scientists. The second goal is to describe the object classes...