In this paper, we introduce the notion of co-annihilator of a subsetin a triangle algebra. It is shown that the co-annihilator of asubset is an interval valued residuated lattice (IVRL)-filter. Also, aspecial set of a triangle algebra is defined and the relationshipbetween this set and co-annihilator of a subset in triangle algebrais considered. Finally, co-annihilators preserving congruencerel...

In this paper, Kolmogorov-Sinai entropy is studied using mathematical modeling of an observer $ Theta $. The relative entropy of a sub-$ sigma_Theta $-algebra having finite atoms is defined and then   the ergodic properties of relative  semi-dynamical systems are investigated.  Also,  a relative version of Kolmogorov-Sinai theorem  is given. Finally, it is proved  that the relative entropy of a...

In his work on modularity theorems, Wiles proved a numerical criterion for map of rings $R\to T$ to be an isomorphism complete intersections. He used this show that certain deformation and Hecke algebras associated mod $p$ Galois representation at non-minimal level are isomorphic intersections, provided the same is true minimal level. paper we study acting cohomology Shimura curves arising from...

We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize restricted broadcast. It allows one to define the behavior of an ad hoc network with respect to the underlying topologies. We give a sound and ground-complete axiomatization for CNT terms with finite-state behavior, ...

some lie algebra analogues of schur's theorem and its converses are presented. as a result, it is shown that for a capable lie algebra l we always have dim l=z(l)  2(dim(l2))2. we also give give some examples sup- porting our results.

In this paper, we define a process algebra DS@ to formally describe distributed systems and a process logic SP@ to formally describe their specifications. Then, we present a method to synthesize a distributed system (described in DS@) from given specifications (described in SP@). The main contribution of this paper is to show how to check the satisfiability of process logics in which concurrent...

A state-based approach for detection of changes in systems modelled as Timed Event Graph and Time Stream Event Graph is presented. We assume that the net in its nominal behavior is known and transitions are partitioned as observable and unobservable transitions. Considered faults are (possibly small) variations of dynamical models by respect to this nominal behavior. Using the algebra of dioids...

In this case-study, we examine the effects of linear control on continuous dynamical systems that exhibit chaotic behavior using the symbolic computer algebra system Mathematica. Stabilizing (or controlling) higher-dimensional chaotic dynamical systems is generally a difficult problem, Musielak and Musielak, [1]. We numerically illustrate that sometimes elementary approaches can yield the desir...

In this note, we introduce the concept of a fuzzy filter of a BLalgebra,with respect to a t-norm briefly, T-fuzzy filters, and give some relatedresults. In particular, we prove Representation Theorem in BL-algebras. Thenwe generalize the notion of a fuzzy congruence (in a BL-algebra) was definedby Lianzhen et al. to a new fuzzy congruence, specially with respect to a tnorm.We prove that there i...