Graded consequence revisited
نویسندگان
چکیده
In this paper some basic aspects of the theory of graded consequence are reconsidered, based on many results that appeared since the inception of graded consequences in 1986. Relationships of the notion of graded consequence with the notions of consequence in many-valued and fuzzy logics are discussed. Following this, a detailed study is carried out on the necessary conditions that follow from axioms generalizing the rules “ex falso quodlibet” and “reasoning by cases” added to the basic three axioms of graded consequence of reflexivity, monotonicity and cut inspired from Tarski and Gentzen. Towards the converse direction, in the process of finding non-trivial examples satisfying the five graded consequence axioms some sufficient conditions on the algebraic structures and the set of valuations are obtained. The significance of these conditions holding simultaneously is investigated. © 2010 Elsevier B.V. All rights reserved.
منابع مشابه
Infinite Order Parametric Normal Form of Hopf Singularity
In this paper, we introduce a suitable algebraic structure for efficient computation of the parametric normal form of Hopf singularity based on a notion of formal decompositions. Our parametric state and time spaces are respectively graded parametric Lie algebra and graded ring. As a consequence, the parametric state space is also a graded module. Parameter space is observed as an integral doma...
متن کاملMany-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal
In this paper a comparative study of many-valued logics, fuzzy logics and the theory of graded consequence has been made focussing on consequence, inconsistency and sorites paradox.
متن کاملGraded Consequence with Fuzzy Set of Premises
Fuzzy Logic a la Pavelka has been reintroduced here in terms of consequence relation instead of consequence operator. Metalogical notions like, consistency and inconsistency are proposed as graded notions. The relationship between consequence relation and inconsistency, both fuzzy here, is studied. Another metalogical notion viz., equivalence of two sets of formulae that originates from Tarski ...
متن کاملGraded consequence: an institution theoretic study
We develop a general study of graded consequence (of many-valued logic) in an institution theoretic (in the sense of Goguen and Burstall) style. This means both syntax and semantics are considered fully abstract, as well as the satisfaction between them. Our approach contrasts to other approaches on many-valued logic in that it is a multisignature one, in the spirit of institution theory. We co...
متن کاملGraded Tolerant Inclusion and its Axiomatization
This paper is devoted to an extension of the inclusion operator. The main idea that we suggest is to relax the arguments of the inclusion by means of proximity-based modifiers in order to obtain a more tolerant inclusion. It is shown that the relaxation can be envisaged in order to design a tolerant inclusion whose result is either Boolean, or valued in the unit interval. The focus is particula...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fuzzy Sets and Systems
دوره 161 شماره
صفحات -
تاریخ انتشار 2010