Results 31 to 40 of about 1,749 (282)
Regularization of positive definite matrix fields based on multiplicative calculus
, 2012 Multiplicative calculus provides a natural framework in problems involving positive images and positivity preserving operators. In increasingly important, complex imaging frameworks, such as diffusion tensor imaging, it complements standard calculus in a
Luc Florack +2 more
core +2 more sources
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
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
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 +2 more sources
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
, 2023 In this study, Hahn multiplicative calculus was introduced and as an application of this subject, the classical Sturm--Liouville problem was examined under this ...
Tuna, H. +3 more
core
A Real-Valued Modal Logic [PDF]
Logical Methods in Computer Science, 2018 A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group operations over the real numbers.
Denisa Diaconescu +2 more
doaj +1 more source