A new method for establishing conservativity of classical systems over their intuitionistic version
نویسندگان
چکیده
Dedicated to Roger Hindley for his 60th Birthday We use a syntactical notion of Kripke models to obtain interpretations of subsystems of arithmetic in their intuitionistic counterparts. This yields in particular a new proof of Buss' result that the Skolem functions of Bounded Arithmetic are polynomial time computable.
منابع مشابه
A generalization of a conservativity theorem for classical versus intuitionistic arithmetic
A basic result in Intuitionism is Π2-Conservativity. Take any proof p in Classical Arithmetic of some Π2-statement (some arithmetical statement ∀x.∃y.P (x, y), with P decidable). Then we may effectively turn p in some intuitionistic proof of the same statement. In a previous paper [1], we generalized this result: any classical proof p of an arithmetical statement ∀x.∃y.P (x, y), with P of degre...
متن کاملPROPERTY ANALYSIS OF TRIPLE IMPLICATION METHOD FOR APPROXIMATE REASONING ON ATANASSOVS INTUITIONISTIC FUZZY SETS
Firstly, two kinds of natural distances between intuitionistic fuzzy sets are generated by the classical natural distance between fuzzy sets under a unified framework of residual intuitionistic implication operators. Secondly, the continuity and approximation property of a method for solving intuitionistic fuzzy reasoning are defined. It is proved that the triple implication method for intuitio...
متن کاملIntuitionistic Fuzzy Information Measures with Application in Rating of Township Development
Predominantly in the faltering atmosphere, the precise value of some factors is difficult to measure. Though, it can be easily approximated by intuitionistic fuzzy linguistic term in the real-life world problem. To deal with such situations, in this paper two information measures based on trigonometric function for intuitionistic fuzzy sets, which are a generalized version of the fuzzy informat...
متن کاملA Compromise Ratio Ranking Method of Triangular Intuitionistic Fuzzy Numbers\ and Its Application to MADM Problems
Triangular intuitionistic fuzzy numbers (TIFNs) is a special case of intuitionistic fuzzy (IF) set and the ranking of TIFNs is an important problem. The aim of this paper is to develop a new methodology for ranking TIFNs by using multiattribute decision making methods (MADM). In this methodology, the value and ambiguity indices of TIFNs may be considered as the attributes and the TIFNs in compa...
متن کاملA Data Envelopment Analysis Model with Triangular Intuitionistic Fuzzy Numbers
DEA (Data Envelopment Analysis) is a technique for evaluating the relative effectiveness of decision-making units (DMU) with multiple inputs and outputs data based on non-parametric modeling using mathematical programming (including linear programming, multi-parameter programming, stochastic programming, etc.). The classical DEA methods are developed to handle the information in the form of cri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 9 شماره
صفحات -
تاریخ انتشار 1999