نتایج جستجو برای: implication operator

تعداد نتایج: 128694  

A $it{weighted~slant~Toep}$-$it{Hank}$ operator $L_{phi}^{beta}$ with symbol $phiin L^{infty}(beta)$ is an operator on $L^2(beta)$ whose representing matrix consists of all even (odd) columns from a weighted slant Hankel (slant weighted Toeplitz) matrix, $beta={beta_n}_{nin mathbb{Z}}$ be a sequence of positive numbers with $beta_0=1$. A matrix characterization for an operator to be $it{weighte...

A. Ghaani Farashahi

Let be a locally compact non?abelian group and be a compact subgroup of also let be a ?invariant measure on the homogeneous space . In this article, we extend the linear operator as a bounded surjective linear operator for all ?spaces with . As an application of this extension, we show that each frame for determines a frame for and each frame for arises from a frame in via...

Journal: :Transactions of the American Mathematical Society 1997

Journal: :Theor. Comput. Sci. 1991
Jean-Paul Delahaye V. Thibau

The aim of this paper is to propose a logical and algebraic theory which seems well-suited to logic programs with negatior, and deductive databases. This theory has similar properties to those of Prolog theory limited to programs with Horn clauses and tbns can be considered as sn extension of the usual theory. This parallel with logic programming without negation lies in the introduction of a t...

In this paper, we firstly show that the $N$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $N$-dual operation. As a dual result, the $N$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...

Journal: :Journal of Applied Non-Classical Logics 2008
Zoran Majkic

In this paper we consider the class of truth-functional modal many-valued logics with the complete lattice of truth-values. The conjunction and disjunction logic operators correspond to the meet and join operators of the lattices, while the negation is independently introduced as a hierarchy of antitonic operators which invert bottom and top elements. The non-constructive logic implication will...

Let A be a bounded linear operator on a Banach space X. We investigate the conditions of existing rank-one operator B such that I+f(A)B is invertible for every analytic function f on sigma(A). Also we compare the invariant subspaces of f(A)B and B. This work is motivated by an operator method on the Banach space ell^2 for solving some PDEs which is extended to general operator space under some ...

In this paper, we prove some fixed points properties and demiclosedness principle for a Banach operator in uniformly convex hyperbolic spaces. We further propose an iterative scheme for approximating a fixed point of a Banach operator and establish some strong and $Delta$-convergence theorems for such operator in the frame work of uniformly convex hyperbolic spaces. The results obtained in this...

In this paper, applying two theorems of Ricceri and Bonanno, we will establish the existence of three weak solutions for a quasilinear elliptic system. Indeed, we will assign a differentiable nonlinear operator to a differential equation system such that the critical points of this operator are weak solutions of the system. In this paper, applying two theorems of R...

2005
Anssi Yli-Jyrä Kimmo Koskenniemi

The paper discusses a language operation that we call context restriction. This operation is closely associated with context restriction rules (Koskenniemi, 1983; Kiraz, 2000), right-arrow rules or implication rules (Koskenniemi et al., 1992; Voutilainen, 1997) and the restriction operator (Beesley and Karttunen, 2003). The operation has been used in finite-state phonology and morphology in cer...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید