This paper is a contribution to the theory of substructural logics. We introduce the notions of (MP)-based and almost (MP)-based logics (w.r.t. a special set of formulae D), which leads to an alternative proof of the well-known forms of the local deduction theorems for prominent substructural logics (FL, FLe, FLew , etc.). Roughly speaking, we decompose the proof of the local deduction theorem ...

Charmonium production is sensitive to deconfinement in nucleusnucleus collisions. The via regeneration within the QGP or at phase boundary has been identified as an important ingredient for description of centrality and transverse momentum dependence ( p T ) J /ψ nuclear modification factor R AA LHC. ψ(2S) relative one possible discriminator between two different scenarios. At there so far no s...

In this paper, we introduce a new concept of α-ψ-ϕ-contractive integral type mappings and establish some new fixed point theorems in complete metric spaces.

and Applied Analysis 3 In the sequel, let q > 1 4p and . . . , φ, ψ, φ, ψ, . . . the unique prime period-two solution of 1.1 with φ < ψ. Define f ∈ C φ, ψ × φ, ψ , φ, ψ by f ( x, y ) p y qx y 2.2 for any x, y ∈ φ, ψ and g ∈ C φ, ψ , φ, ψ by y∗ g ( y ) p y − y2 qy 2.3 for any y ∈ φ, ψ . Then