Related papers: On a New Type $pq$-Calculus
We study $Q$-tableaux and axiom systems that they engender, producing a new proof that the Implicational Propositional Calculus is complete.
In this paper, we introduce a new method for calculating fractional integrals and differentials. The method involves an equation that we have obtained from infinite applied integration by parts. The equation works for special class of…
In this paper, we have introduced the Prabhakar fractional $q$-integral and $q$-differential operators. We first study the semi-group property of the Prabhakar fractional $q$-integral operator, which allowed us to introduce the…
We present a deformed algebra related to the q-exponential and the q-logarithm functions that emerge from nonextensive statistical mechanics. We also develop a q-derivative (and consistently a q-integral) for which the q-exponential is an…
We introduce a novel logical notion--partial entailment--to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with respect to a background formula set \Gamma intuitively means…
A new $q$-analogue of Appell polynomial sequences and their generalizations are introduced and their main characterizations are proved. As consequences new $q$-analogue of Bernoulli and Euler polynomials and numbers is introduced, their…
In this paper we study q-Euler numbers and polynomials by using p-adic q-fermionic integrals on Z_p. The methods to study q-Euler numbers and polynomials in this paper are new.
We briefly discuss the current state, and future computational implications, of quantum type theory.
We introduce an original approach to geometric calculus in which we define derivatives and integrals on functions which depend on extended bodies in space--that is, paths, surfaces, and volumes etc. Though this theory remains to be fully…
In this article, we investigate and establish some properties including analytic properties, contiguous relations, differential properties, differential operators, an expansion formula, and simple integrals, integral operators, some…
We introduce a simple extension of the $\lambda$-calculus with pairs---called the distributive $\lambda$-calculus---obtained by adding a computational interpretation of the valid distributivity isomorphism $A \Rightarrow (B\wedge C)\ \…
The introduction of first-class type classes in the Coq system calls for re-examination of the basic interfaces used for mathematical formalization in type theory. We present a new set of type classes for mathematics and take full advantage…
This article examines a new approach to solving ordinary differential equations based on Fractional-Calculus theory. Poisson and Sturm-Liouville-type problems are studied, together with different boundary conditions. Each case is analyzed…
The fractional q-calculus is the q-extension of the ordinary fractional calculus and dates back to early 20-th century. The theory of q-calculus operators are used in various areas of science such as ordinary fractional calculus, optimal…
The main purpose of this paper is to provide a novel approach to deriving formulas for the p-adic q-integral including the Volkenborn integral and the p-adic fermionic integral. By applying integral equations and these integral formulas to…
This work addresses a full characterization of three new q-polynomials derived from the $q-$oscillator algebra. Related matrix elements and generating functions are deduced. Further, a connection between Hahn factorial and q-Gaussian…
We discuss the inequalities for $q$-integrals because of the fact that the inequalities can be very useful in the future mathematical research. Since $q$-integral of a function over an interval $[a,b]$ is defined by the difference of two…
A new derivative, called deformable derivative, is introduced here which is equivalent to ordinary derivative in the sense that one implies other. The deformable derivative is defined using limit approach like that of ordinary one but with…
In this paper, we establish a q-analog of partial fraction decomposition formula. By using formula, we develop new closed form representations of sums of q-harmonic numbers and reciprocal q-binomial coefficients. Moreover, we give explicit…
We have fundamentally corrected the proofs of the theorems from our paper [9] by giving an entirely different approach, using quite a simple method based on applications of some elementary inequalities, well-known H\"older's inequality, and…