Triangle algebras: A formal logic approach to interval-valued residuated lattices

In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0 and 1. We show that these algebras serve as an equational representation of interval-valued residuated lattices (IVRLs). Furthermore, we present triangle logic (TL), a system of many-valued logic capturing the tautologies of IVRLs. Triangle algebras are used to cast the essence of using closed intervals of L as truth values into a set of appropriate logical axioms. Our results constitute a crucial first step towards solving an important research challenge: the axiomatic formalization of residuated t-norm based logics on L^I, the lattice of closed intervals of [0,1], in a similar way as was done for formal fuzzy logics on the unit interval.

[1]  Pere Garcia-Calvés,et al.  Enriched Interval Bilattices and Partial Many-Valued Logics: an Approach to Deal with Graded Truth and Imprecision , 1994, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[2]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[3]  Chris Cornelis,et al.  ON THE PROPERTIES OF A GENERALIZED CLASS OF T-NORMS IN INTERVAL-VALUED FUZZY LOGICS , 2006 .

[4]  Chris Cornelis,et al.  Implication in intuitionistic fuzzy and interval-valued fuzzy set theory: construction, classification, application , 2004, Int. J. Approx. Reason..

[5]  Franco Montagna,et al.  A Proof of Standard Completeness for Esteva and Godo's Logic MTL , 2002, Stud Logica.

[6]  Chris Cornelis,et al.  Advances and challenges in interval-valued fuzzy logic , 2006, Fuzzy Sets Syst..

[7]  Janusz Kacprzyk,et al.  Beyond two: theory and applications of multiple-valued logic , 2003 .

[8]  S. Gottwald,et al.  Triangular norm-based mathematical fuzzy logics , 2005 .

[9]  Josep Maria Font,et al.  Beyond Rasiowa's Algebraic Approach to Non-classical Logics , 2006, Stud Logica.

[10]  Gianpiero Cattaneo,et al.  Abstract Approximation Spaces for Rough Theories , 2008 .

[11]  Didier Dubois,et al.  Can We Enforce Full Compositionality in Uncertainty Calculi? , 1994, AAAI.

[12]  Lluis Godo,et al.  Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[13]  Vilém Vychodil,et al.  Fuzzy equational logic , 2005, Arch. Math. Log..

[14]  Ulrich Höhle,et al.  Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory , 1995 .

[15]  Chris Cornelis,et al.  On the representation of intuitionistic fuzzy t-norms and t-conorms , 2004, IEEE Transactions on Fuzzy Systems.

[16]  Jiří Rachůnek,et al.  Modal operators on bounded commutative residuated ℓ-monoids , 2007 .

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

[18]  R. Mesiar,et al.  Logical, algebraic, analytic, and probabilistic aspects of triangular norms , 2005 .

[19]  Josep Maria Font,et al.  A Survey of Abstract Algebraic Logic , 2003, Stud Logica.

[20]  Philippe Smets,et al.  Implication in fuzzy logic , 1987, Int. J. Approx. Reason..

[21]  L. Godo,et al.  On the hierarchy of t-norm based residuated fuzzy logics , 2003 .

[22]  Alex M. Andrew,et al.  Mathematics Behind Fuzzy Logic , 2001 .

[23]  Etienne E. Kerre,et al.  Classes Of Intuitionistic Fuzzy T-Norms Satisfying The Residuation Principle , 2003, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[24]  Glad Deschrijver.  The Łukasiewicz t-norm in interval-valued fuzzy and intuitionistic fuzzy set theory , 2005 .

[25]  Kazuo Matsumoto,et al.  Gentzen method in modal calculi. II , 1957 .

[26]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[27]  Jiří Rachůnek,et al.  MODAL OPERATORS ON MV-ALGEBRAS , 2006 .

[28]  Gianpiero Cattaneo,et al.  Intuitionistic fuzzy sets or orthopair fuzzy sets? , 2003, EUSFLAT Conf..

[29]  Didier Dubois,et al.  On Ignorance and Contradiction Considered as Truth-Values , 2007, Log. J. IGPL.

[30]  Petr Cintula,et al.  Fuzzy logics as the logics of chains , 2006, Fuzzy Sets Syst..