Techniques for the verification of structural invariants in graph transformation systems typically rely on the derivation of negative application conditions that are attached to graph transformation rules in order to avoid the runtime occurrence of forbidden structural patterns in the system model. In this paper, we propose a practical approach for this derivation process, which produces the re...

In this paper, we introduce the notions of $(odot, oplus)$-derivations and $(ominus, odot)$-derivations for $MV$-algebras and discuss some related results. We study the connection between these derivations on an $MV$-algebra $A$ and the derivations on its boolean center. We characterize the isotone $(odot, oplus)$-derivations and prove that $(ominus, odot)$-derivations are isotone. Finally we d...

We prove that every 2-local derivation from the algebra Mn(A)(n > 2) into its bimodule Mn(M) is a derivation, where A is a unital Banach algebra and M is a unital A-bimodule such that each Jordan derivation from A into M is an inner derivation, and that every 2-local derivation on a C*-algebra with a faithful traceable representation is a derivation. We also characterize local and 2-local Lie d...

‎In this article we discuss examples of fractal $omega$-operads‎. ‎Thus we show that there is an $omega$-operadic approach to explain existence of‎ ‎the globular set of globular setsfootnote{Globular sets are also called $omega$-graphs by the French School.}‎, ‎the reflexive globular set of reflexive globular sets‎, ‎the $omega$-magma of $omega$-magmas‎, ‎and also the reflexive $omega$-magma ...

Krzysztof Pachucki Institute of Theoretical Physics, Warsaw University, Hoża 69, 00-681 Warsaw, Poland (Dated: November 18, 2004) Abstract We present the derivation of the effective higher-order Hamiltonian, which gives mα6 contribution to energy levels of an arbitrary light atom. The derivation is based on the Foldy-Wouthuysen transformation of the one-particle Dirac Hamiltonian followed by pe...

we investigate the stability of generalizedderivations on banach algebras with a bounded central approximateidentity. we show that every approximate generalized derivation inthe sense of rassias, is an exact generalized derivation. also thestability problem of generalized derivations on the faithful banachalgebras is investigated.

Let $mathfrak{A}$ be an algebra. A linear mapping $delta:mathfrak{A}tomathfrak{A}$ is called a textit{derivation} if $delta(ab)=delta(a)b+adelta(b)$ for each $a,binmathfrak{A}$. Given two derivations $delta$ and $delta'$ on a $C^*$-algebra $mathfrak A$, we prove that there exists a derivation $Delta$ on $mathfrak A$ such that $deltadelta'=Delta^2$ if and only if either $delta'=0$ or $delta=sdel...

We adapt Kahn-style (\big-step") natural semantics to take on desirable aspects of small-step and denotational semantics forms, more precisely: (i) the ability to express divergent computations; (ii) the ability to reason about the (length of a) computation of a derivation; and (iii) the ability to compute upon and reason about higher-order values. To accomplish these results, we extend the cla...

Let $mathcal{A}$ be a Banach algebra and $mathcal{M}$ be a Banach $mathcal{A}$-bimodule. We say that a linear mapping $delta:mathcal{A} rightarrow mathcal{M}$ is a generalized $sigma$-derivation whenever there exists a $sigma$-derivation $d:mathcal{A} rightarrow mathcal{M}$ such that $delta(ab) = delta(a)sigma(b) + sigma(a)d(b)$, for all $a,b in mathcal{A}$. Giving some facts concerning general...