The object of this paper is to establish certain generalized fractional integration and differentiation involving generalized Mittag-Leffler function defined by Salim and Faraj [25]. The considered generalized fractional calculus operators contain the Appell's function $F_3$ [2, p.224] as kernel and are introduced by Saigo and Maeda [23]. The Marichev-Saigo-Maeda fractional calculus operators a...

We give a short proof-theoretic treatment of a terminating contraction-free calculus G4-LC for the zero-order GG odel-Dummett logic LC. This calculus is a slight variant of a calculus given by Avellone et al, who show its completeness by model-theoretic techniques. In our calculus, all the rules of G4-LC are invertible, thus allowing a deterministic proof-search procedure.

This paper presents an algebraic calculus like the relational calculus for reasoning about sequential phenomena. It provides a common foundation for several proposed models of concurrent or reactive systems. It is clearly diierentiated from the relational calculus by absence of a general converse operation. This permits the treatment of temporal logic within the sequential calculus.

Background: Enterococci are important gram-positive bacteria causing dental calculus in human beings; however, the role of these bacteria in oral cavity is unclear. The aim of this study was to investigate the presence of Enterococcal Surface Protein (esp) gene in Enterococcus faecalis isolated from dental calculus in the city of Sari, Iran. Materials and Methods: In the present study, 207 den...

The Euler-Lagrange equation plays an important role in the minimization problems of the calculus of variations. This paper employs the differential transformation method (DTM) for finding the solution of the Euler-Lagrange equation which arise from problems of calculus of variations. DTM provides an analytical solution in the form of an infinite power series with easily computable components. S...

the euler-lagrange equation plays an important role in the minimization problems of the calculus of variations. this paper employs the differential transformation method (dtm) for finding the solution of the euler-lagrange equation which arise from problems of calculus of variations. dtm provides an analytical solution in the form of an infinite power series with easily computable components. s...

In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in the hyper tableau calculus. It is based on splitting of positive clauses and an adapted version of the superposition inference rule, where equations used for paramodulation are drawn (only) from a set of positive unit ...