Here we define a Caputo like discrete nabla fractional difference and we produce discrete nabla fractional Taylor formulae for the first time. We estimate their remaiders. Then we derive related discrete nabla fractional Opial, Ostrowski, Poincaré and Sobolev type inequalities .

In this paper, we study the oscillation of nonlinear fractional nabla difference equations of the form [Formula: see text]where c and α are constants, [Formula: see text] is the Riemann-Liouville fractional nabla difference operator of order [Formula: see text] is a real number, and [Formula: see text]. Some sufficient conditions for oscillation are established.

We introduce discrete fractional sum equations and inequalities. We obtain the equivalence of an initial value problem for a discrete fractional equation and a discrete fractional sum equation. Then we give an explicit solution to the linear discrete fractional sum equation. This allows us to state and prove an analogue of Gronwall's inequality on discrete fractional calculus. We employ a nabla...

Using the methodology of abstract logic programming in linear logic, we establish a correct and complete translation between the language Nabla and rst order linear logic. Nabla is a modiication of the coordination language Gamma with parallel and sequential composition. Nabla, without modifying Gamma basic computational model, is amenable to this kind of analysis, at the price of a weaker expr...