Results 11 to 20 of about 1,023 (265)
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
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
A q-analogue of the multiplicative calculus: Q-multiplicative calculus
Discrete & Continuous Dynamical Systems - S, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yener, Gökhan, EMİROĞLU, İbrahim
openaire +3 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
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
On noncommutative extensions of linear logic [PDF]
Logical Methods in Computer Science, 2019 Pomset logic introduced by Retor\'e is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent calculus.
Sergey Slavnov
doaj +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
On the multiplicative Legendre equation
Journal of Taibah University for Science, 2022 When exponentials are employed to model procedures and efficacies appearing in real life, an additive derivative of this type of function does not exist.
Sertac Goktas
doaj +1 more source
Classical BI: Its Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2010 We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI.
James Brotherston, Cristiano Calcagno
doaj +1 more source
A Multiplicative Calculus Approach to Solve Applied Nonlinear Models
Mathematical and Computational Applications, 2023 Problems such as population growth, continuous stirred tank reactor (CSTR), and ideal gas have been studied over the last four decades in the fields of medical science, engineering, and applied science, respectively.
Gurjeet Singh +2 more
doaj +1 more source