Contractions of noncontractive Consequence Relations
نویسندگان
چکیده
Some theorists have developed formal approaches to truth that depend on counterexamples to the structural rules of contraction. Here, we study such approaches, with an eye to helping them respond to a certain kind of objection. We define a contractive relative of each noncontractive relation, for use in responding to the objection in question, and we explore one example: the contractive relative of multiplicative-additive affine logic with transparent truth, or maalt.
منابع مشابه
Contraction and closure
This is a paper about noncontractive logical systems: systems not closed under contraction. (Contraction is what allows us to conclude that Γ,A⊢B from the claim that Γ,A,A⊢B.)These systems form one family of substructural logical systems: systems that do not impose the full budget of what are called structural rules, or in which there are counterexamples to the structural metainferences associa...
متن کاملSome Results about the Contractions and the Pendant Pairs of a Submodular System
Submodularity is an important property of set functions with deep theoretical results and various applications. Submodular systems appear in many applicable area, for example machine learning, economics, computer vision, social science, game theory and combinatorial optimization. Nowadays submodular functions optimization has been attracted by many researchers. Pendant pairs of a symmetric...
متن کاملFractal coding of video sequence using circular prediction mapping and noncontractive interframe mapping
We propose a novel algorithm for fractal video sequence coding, based on the circular prediction mapping and the noncontractive interframe mapping. The proposed algorithm can effectively exploit the temporal correlation in real image sequences, since each range block is approximated by the domain block in the adjacent frame, which is of the same size as the range block. The computer simulation ...
متن کاملReal-Time intrusion detection alert correlation and attack scenario extraction based on the prerequisite consequence approach
Alert correlation systems attempt to discover the relations among alerts produced by one or more intrusion detection systems to determine the attack scenarios and their main motivations. In this paper a new IDS alert correlation method is proposed that can be used to detect attack scenarios in real-time. The proposed method is based on a causal approach due to the strength of causal methods in ...
متن کاملSeparation of Variables and Lie Algebra Contractions. Applications to Special Functions
A review is given of some recently obtained results on analytic contractions of Lie algebras and Lie groups and their application to special function theory. The contractions considered are from O(3) to E(2) and from O(2, 1) to E(2), or E(1, 1). The analytic contractions provide relations between separable coordinate systems on various homogeneous manifolds. They lead to asymptotic relations be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Rew. Symb. Logic
دوره 8 شماره
صفحات -
تاریخ انتشار 2015