The role of metalanguage in graded logical approaches

This paper is an attempt to show how the metalanguage is important in building a logic dealing with uncertainties. We shall address this issue from two different angles. In one we shall propose a new way to look at the notion of consequence by introducing a series of metalogical notions based on the metalanguage and its interpretation; and in the other we shall present concrete systems of graded logic, which are generated based on both the object language, metalanguage, and their interrelations.

[1]  Mihir K. Chakraborty,et al.  Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal , 2013, ICLA.

[2]  Pere Garcia-Calvés,et al.  On implicative closure operators in approximate reasoning , 1999, EUSFLAT-ESTYLF Joint Conf..

[3]  Carlos Pelta,et al.  Wide Sets, Deep Many-Valuedness and Sorites Arguments , 2004 .

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

[5]  Juan Luis Castro,et al.  On consequence in approximate reasoning , 1994, J. Appl. Non Class. Logics.

[6]  David Picado Muiòo.  A Consequence Relation for Graded Inference within the Frame of Infinite-valued Łukasiewicz Logic , 2013 .

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

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

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

[10]  Jan Pavelka,et al.  On Fuzzy Logic I Many-valued rules of inference , 1979, Math. Log. Q..

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

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

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

[14]  Mihir K. Chakraborty,et al.  Graded consequence revisited , 2010, Fuzzy Sets Syst..

[15]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[16]  Vilém Novák.  On the syntactico-semantical completeness of first-order fuzzy logic. I. Syntax and semantics , 1990, Kybernetika.

[17]  S. Dutta,et al.  Grade in Metalogical Notions: a Comparative Study of Fuzzy Logics , 2014, SOCO 2014.

[18]  Jan Pavelka,et al.  On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi , 1979, Math. Log. Q..

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

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

[21]  Didier Dubois,et al.  Operations in a Fuzzy-Valued Logic , 1979, Inf. Control..

[22]  Mihir K. Chakraborty,et al.  Graded Consequence with Fuzzy Set of Premises , 2014, Fundam. Informaticae.

[23]  Jan Pavelka,et al.  On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi , 1979, Math. Log. Q..

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

[25]  Lluis Godo,et al.  First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties , 2009, Ann. Pure Appl. Log..

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

[27]  Rohit Parikh.  The Problem of Vague Predicates , 1983 .