the aim of this paper is to prove new quantitative uncertainty principle for the generalized fourier transform connected with a dunkl type operator on the real line. more precisely we prove an lp-lq-version of morgan's theorem.

A Gentzen-style L-formulation of the calculus of constructions is presented and proved equivalent to a natural deduction formulation based on that of [6]. The L-rules corresponding to the conversion rules of the natural deduction system are expansion rules. Cut elimination follows from the equivalence to the natural deduction formulation and the normalization theorem for the latter.

Recently, Zhang and Song [Q. Zhang, Y. Song, Fixed point theory forgeneralized $varphi$-weak contractions,Appl. Math. Lett. 22(2009) 75-78] proved a common fixed point theorem for two mapssatisfying generalized $varphi$-weak contractions. In this paper, we prove a common fixed point theorem fora family of compatible maps. In fact, a new generalization of Zhangand Song's theorem is given.

This paper concerns residuated lattice-ordered idempotent commutative monoids that are subdirect products of chains. An algebra of this kind is a generalized Sugihara monoid (GSM) if it is generated by the lower bounds of the monoid identity; it is a Sugihara monoid if it has a compatible involution ¬. Our main theorem establishes a category equivalence between GSMs and relative Stone algebras ...

A deductive system S (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T , i.e., the binary relation between formulas { 〈α, β〉 : T, α `S β and T, β `S α }, is a congruence relation on the formula algebra. The multiterm deduction-detachment theorem is a natural generalization of the deduction theorem of the classical and intuitionistic proposi...

Binayak et al in [1] proved a fixed point of generalized Kannan type-mappings in generalized Menger spaces. In this paper we extend gen- eralized Kannan-type mappings in generalized fuzzy metric spaces. Then we prove a fixed point theorem of this kind of mapping in generalized fuzzy metric spaces. Finally we present an example of our main result.

Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation pro...

Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation pro...

in this paper is introduced a new type of generalization of metric spaces called sb metric space. for this new kind of spaces it has been proved a common xed point theorem for four mappings which satisfy generalized contractive condition. we also present example to con rm our theorem.