Formulas for which Contraction is Admissible
نویسنده
چکیده
A formula A is said to have the contraction property in a logic L iff whenever A, A,Γ `L B (when Γ is a multiset) also A, Γ `L B. In MLL and in MALL without the additive constants a formula has the contraction property iff it is a theorem. Adding the mix rule does not change this fact. In MALL (with or without mix) and in affine logic A has the contraction property iff either A is provable or A is equivalent to the additive constant 0. We present some general proof-theoretical principles from which all these results (and others) easily follow.
منابع مشابه
On $F$-Weak Contraction of Generalized Multivalued Integral Type Mappings with $alpha $-admissible
The purpose of this work is to investigate the existence of fixed points of some mappings in fixed point theory by combining some important concepts which are F-weak contractions, multivalued mappings, integral transformations and α-admissible mappings. In fixed point theory, it is important to find fixed points of some classess under F- or F-weak contractions. Also multivalued mappings is the ...
متن کاملFixed Point Results for Cyclic (α,β)-Admissible Type F-Contractions in Modular Spaces
In this paper, we prove the existence and uniqueness of fixed points for cyclic (α,β)-admissible type F-contraction and F−weak contraction under the setting of modular spaces, where the modular is convex and satisfying the ∆2-condition. Later, we prove some periodic point results for self-mappings on a modular space. We also give some examples to s...
متن کاملSaturated Formulas in Full Linear Logic
In this note, we show by a proof-theoretical argument that in full linear logic the set of formulas for which contraction and weakening are admissible (the set of saturated formulas) does not coincide (up to equivalences) with the set of exponentiated formulas. This solves an open problem of Schellinx.
متن کاملSOME FIXED POINT RESULTS FOR ADMISSIBLE GERAGHTY CONTRACTION TYPE MAPPINGS IN FUZZY METRIC SPACES
In this paper, we introduce the notions of fuzzy $alpha$-Geraghty contraction type mapping and fuzzy $beta$-$varphi$-contractive mapping and establish some interesting results on the existence and uniqueness of fixed points for these two types of mappings in the setting of fuzzy metric spaces and non-Archimedean fuzzy metric spaces. The main results of our work generalize and extend some known ...
متن کاملNew Generalization of Darbo's Fixed Point Theorem via $alpha$-admissible Simulation Functions with Application
In this paper, at first, we introduce $alpha_{mu}$-admissible, $Z_mu$-contraction and $N_{mu}$-contraction via simulation functions. We prove some new fixed point theorems for defined class of contractions via $alpha$-admissible simulation mappings, as well. Our results can be viewed as extension of the corresponding results in this area. Moreover, some examples and an application to funct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logic Journal of the IGPL
دوره 6 شماره
صفحات -
تاریخ انتشار 1998