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.

[1]  Gerhard Gentzen,et al.  Investigations into Logical Deduction , 1970 .

[2]  V. Novák,et al.  Mathematical Principles of Fuzzy Logic , 1999 .

[3]  Stanisław J. Surma THE GROWTH OF LOGIC OUT OF THE FOUNDATIONAL RESEARCH IN MATHEMATICS , 1981 .

[4]  Evandro Agazzi,et al.  Modern Logic — A Survey , 1981 .

[5]  J. A. Goguen,et al.  The logic of inexact concepts , 1969, Synthese.

[6]  Giangiacomo Gerla,et al.  Fuzzy Logic: Mathematical Tools for Approximate Reasoning , 2001 .

[7]  Siegfried Gottwald An Approach to Handle Partially Sound Rules of Inference , 1994, IPMU.

[8]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

[9]  Mihir K. Chakraborty,et al.  Graded Consequence: Further Studies , 1995, J. Appl. Non Class. Logics.

[10]  Mihir K. Chakraborty,et al.  Graded Consequence and Some Metalogical Notions Generalized , 1997, Fundam. Informaticae.

[11]  L. Godo,et al.  On Completeness Results for Predicate Lukasiewicz, Product, Godel and Nilpotent Minimum Logics Expanded with Truth-constants , 2007 .

[12]  Giangiacomo Gerla,et al.  Closure Operators in Fuzzy Set Theory , 1999 .

[13]  Madan M. Gupta,et al.  Fuzzy Logic in Knowledge-Based Systems, Decision and Control , 1988 .

[14]  D. J. Shoesmith,et al.  Multiple-Conclusion Logic , 1978 .

[15]  Vilém Novák On the syntactico-semantical completeness of first-order fuzzy logic. II. Main results , 1990, Kybernetika.

[16]  Didier Dubois,et al.  Possibilistic logic : a retrospective and prospective view , 2003 .

[17]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[18]  Dimitar P. Filev,et al.  Fuzzy SETS AND FUZZY LOGIC , 1996 .

[19]  Oscar H. IBARm Information and Control , 1957, Nature.

[20]  E. Trillas,et al.  in Fuzzy Logic , 2002 .

[21]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[22]  Petr Hájek,et al.  A complete many-valued logic with product-conjunction , 1996, Arch. Math. Log..

[23]  Carlos Pelta Resano,et al.  Wide sets, deep many-valuedness and sorites arguments , 2004 .

[24]  Lotfi A. Zadeh,et al.  Toward extended fuzzy logic - A first step , 2009, Fuzzy Sets Syst..

[25]  D. Dubois,et al.  Fuzzy Sets in Approximate Reasoning and Information Systems , 2012 .

[26]  Mihir K. Chakraborty,et al.  Introducing Grade to Some Metalogical Notions , 1999 .