Interpolation problem for l1 and a uniform algebra
نویسندگان
چکیده
منابع مشابه
Uniform Interpolation for ALC Revisited
The notion of uniform interpolation for description logic ALC has been introduced in [9]. In this paper, we reformulate the uniform interpolation for ALC from the angle of forgetting and show that it satisfies all desired properties of forgetting. Then we introduce an algorithm for computing the result of forgetting in concept descriptions. We present a detailed proof for the correctness of our...
متن کاملUniform interpolation and compact congruences
All seven intermediate logics admitting Craig interpolation also admit uniform interpolation; however, although the modal logic K admits both properties, its extension S4 admits only Craig interpolation and not uniform interpolation (see [1] for details and references). Uniform interpolation for a logic may be viewed as a weaker form of quantifier elimination. This idea is exploited in the mono...
متن کاملpassivity in waiting for godot and endgame: a psychoanalytic reading
this study intends to investigate samuel beckett’s waiting for godot and endgame under the lacanian psychoanalysis. it begins by explaining the most important concepts of lacanian psychoanalysis. the beckettian characters are studied regarding their state of unconscious, and not the state of consciousness as is common in most beckett studies. according to lacan, language plays the sole role in ...
Uniform Interpolation for퓐퓛퓒 Revisited
The notion of uniform interpolation for description logic ALC has been introduced in [9]. In this paper, we reformulate the uniform interpolation for ALC from the angle of forgetting and show that it satisfies all desired properties of forgetting. Then we introduce an algorithm for computing the result of forgetting in concept descriptions. We present a detailed proof for the correctness of our...
متن کاملTENSION TRIGONOMETRIC SPLINES INTERPOLATION METHOD FOR SOLVING A LINEAR BOUNDARY VALUE PROBLEM
By using the trigonometric uniform splines of order 3 with a real tension factor, a numericalmethod is developed for solving a linear second order boundary value problems (2VBP) withDirichlet, Neumann and Cauchy types boundary conditions. The moment at the knots isapproximated by central finite-difference method. The order of convergence of the methodand the theory is illustrated by solving tes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society
سال: 2002
ISSN: 1446-7887,1446-8107
DOI: 10.1017/s1446788700003530