Admissible Substitutions in Sequent Calculi

For first-order classical logic a new notion of admissible substitution is defined. This notion allows optimizing the procedure of the application of quantifier rules when logical inference search is made in sequent calculi. Our objective is to show that such a computer-oriented sequent technique may be created that does not require a preliminary skolemization of initial formulas and that is efficiently comparable with methods exploiting the skolemization. Some results on its soundness and completeness are given.

Abstract Subdifferential Calculus and Semi-Convex Functions

∗ The work is partially supported by NSFR Grant No MM 409/94.

Subdifferentials of Performance Functions and Calculus of Coderivatives of Set-Valued Mappings

The paper contains calculus rules for coderivatives of compositions, sums and intersections of set-valued mappings. The types of coderivatives considered correspond to Dini-Hadamard and limiting Dini-Hadamard subdifferentials in Gˆateaux differentiable spaces, Fréchet and limiting Fréchet subdifferentials in Asplund spaces and approximate subdifferentials in arbitrary Banach spaces. The key element of the unified approach to obtaining various calculus rules for various types of derivatives presented in the paper are simple formulas for subdifferentials of marginal, or performance functions.

Fractional Calculus of the Generalized Wright Function

Mathematics Subject Classification: 26A33, 33C20.

Certain Properties of Fractional Calculus Operators Associated with Generalized Mittag-Leffler Function

Mathematics Subject Classification: 26A33, 33E12, 33C20.

Convolution Products in L1(R+), Integral Transforms and Fractional Calculus

Mathematics Subject Classification: 43A20, 26A33 (main), 44A10, 44A15

On Integral Means for Fractional Calculus Operators of Multivalent Functions

2000 Mathematics Subject Classification: Primary 30C45, Secondary 26A33, 30C80

Hankel Transform in Quantum Calculus and Applications

Mathematics Subject Classification: 44A15, 33D15, 81Q99

Polynomial Expansions for Solutions of Higher-Order Bessel Heat Equation in Quantum Calculus

Mathematics Subject Class.: 33C10,33D60,26D15,33D05,33D15,33D90

Application of Fractional Calculus in the Dynamical Analysis and Control of Mechanical Manipulators

Mathematics Subject Classification: 26A33, 93C83, 93C85, 68T40

A Brief Story about the Operators of the Generalized Fractional Calculus

2000 Mathematics Subject Classification: 26A33, 33C60, 44A20

Fractional Calculus of P-transforms

MSC 2010: 44A20, 33C60, 44A10, 26A33, 33C20, 85A99

A Poster about the Recent History of Fractional Calculus

MSC 2010: 26A33, 05C72, 33E12, 34A08, 34K37, 35R11, 60G22

A Poster about the Old History of Fractional Calculus

MSC 2010: 26A33, 05C72, 33E12, 34A08, 34K37, 35R11, 60G22

Professor Rudolf Gorenflo and his Contribution to Fractional Calculus

MSC 2010: 26A33 Dedicated to Professor Rudolf Gorenflo on the occasion of his 80th anniversary