Results 21 to 30 of about 34,295 (276)
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
Regularity of the density for the stochastic heat equation [PDF]
, 2007 We study the smoothness of the density of a semilinear heat equation with multiplicative spacetime white noise. Using Malliavin calculus, we reduce the problem to a question of negative moments of solutions of a linear heat equation with multiplicative ...
Mueller, Carl, Nualart, David
core +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
Anticipating Stochastic 2D Navier-Stokes Equations [PDF]
, 2011 In this article, we consider the two-dimensional stochastic Navier-Stokes equation (SNSE) on a smooth bounded domain, driven by affine-linear multiplicative white noise and with random initial conditions and Dirichlet boundary conditions.
Mohammed, Salah, Zhang, Tusheng
core +2 more sources
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
A System of Interaction and Structure II: The Need for Deep Inference [PDF]
, 2005 This paper studies properties of the logic BV, which is an extension of multiplicative linear logic (MLL) with a self-dual non-commutative operator. BV is presented in the calculus of structures, a proof theoretic formalism that supports deep inference ...
Alwen Tiu +4 more
core +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
Space-time paraproducts for paracontrolled calculus, 3d-PAM and multiplicative Burgers equations [PDF]
, 2017 We sharpen in this work the tools of paracontrolled calculus in order to provide a complete analysis of the parabolic Anderson model equation and Burgers system with multiplicative noise, in a $3$-dimensional Riemannian setting, in either bounded or ...
Bailleul, I., Bernicot, F., Frey, D.
core +1 more source
Making first order linear logic a generating grammar [PDF]
Logical Methods in Computer Science, 2023 It is known that different categorial grammars have surface representation in a fragment of first order multiplicative linear logic (MLL1). We show that the fragment of interest is equivalent to the recently introduced extended tensor type calculus (ETTC)
Sergey Slavnov
doaj +1 more source