Results 21 to 30 of about 194,477 (284)
The Consistency and Complexity of Multiplicative Additive System Virtual [PDF]
Scientific Annals of Computer Science, 2015 This paper investigates the proof theory of multiplicative additive system virtual (MAV). MAV combines two established proof calculi: multiplicative additive linear logic (MALL) and basic system virtual (BV).
R. Horne
doaj +1 more source
A New Type of Sturm-Liouville Equation in the Non-Newtonian Calculus
Journal of Function Spaces, 2021 In mathematical physics (such as the one-dimensional time-independent Schrödinger equation), Sturm-Liouville problems occur very frequently. We construct, with a different perspective, a Sturm-Liouville problem in multiplicative calculus by some ...
Sertac Goktas
doaj +1 more source
The Runge–Kutta method in geometric multiplicative calculus [PDF]
LMS Journal of Computation and Mathematics, 2015 This paper illuminates the derivation, applicability, and efficiency of the multiplicative Runge–Kutta method, derived in the framework of geometric multiplicative calculus. The removal of the restrictions of geometric multiplicative calculus on positive-valued functions of real variables and the fact that the multiplicative derivative does not exist ...
Mustafa Riza, Hatice Aktöre
openaire +3 more sources
Fractional Maclaurin-Type Inequalities for Multiplicatively Convex Functions
Fractal and Fractional, 2023 This paper’s major goal is to prove some symmetrical Maclaurin-type integral inequalities inside the framework of multiplicative calculus. In order to accomplish this and after giving some basic tools, we have established a new integral identity.
Meriem Merad +3 more
doaj +1 more source
The Discriminating Power of Multiplicities in theλ-Calculus
Information and Computation, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gérard Boudol, Cosimo Laneve
openaire +1 more source
Hermite-Hadamard type inequalities for multiplicatively p-convex functions
Journal of Inequalities and Applications, 2023 In this paper, we introduced the concept of multiplicatively p-convex functions and established Hermite-Hadamard type integral inequalities in the setting of multiplicative calculus for this newly created class of functions.
Serap Özcan
doaj +1 more source
lambda-calculus, multiplicities, and the pi-calculus.
, 1995 In this paper we study the semantics of the $\lambda$-calculus induced by Milner's encoding into the $\pi$-calculus. We show that the resulting may testing preorder on $\lambda$-terms coincides with the inclusion of Lévy-Longo trees. To establish this result, we use a refinement of the $\lambda$-calculus where the argument of a function may be of ...
Boudol, Gérard, Laneve, Cosimo
openaire +3 more sources
Labelled Lambda-calculi with Explicit Copy and Erase [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We present two rewriting systems that define labelled explicit substitution lambda-calculi. Our work is motivated by the close correspondence between Levy's labelled lambda-calculus and paths in proof-nets, which played an important role in the ...
Maribel Fernández, Nikolaos Siafakas
doaj +1 more source
Bakry-Emery Calculus For Diffusion With Additional Multiplicative Term
, 2021 We extend the Gamma_2 calculus of Bakry and Emery to include a Carre du champ operator with multiplicative term, providing results which allow to analyse inhomogeneous ...
Roberto, Cyril, Zegarlinski, B.
core +1 more source
A new look at the classical sequence spaces by using multiplicative calculus
, 2016 The important point to be noted on the non-Newtonian calculus is a self- contained system independent of any other system of calculus. Therefore, the reader may be surprised to learn that there is a uniform relationship between the corresponding ...
Kadak U. +3 more
core +4 more sources