Filters of residuated lattices and triangle algebras

An important concept in the theory of residuated lattices and other algebraic structures used for formal fuzzy logic, is that of a filter. Filters can be used, amongst others, to define congruence relations. Specific kinds of filters include Boolean filters and prime filters. In this paper, we define several different filters of residuated lattices and triangle algebras and examine their mutual dependencies and connections. Triangle algebras characterize interval-valued residuated lattices.

[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]  Chris Cornelis,et al.  Triangle algebras: A formal logic approach to interval-valued residuated lattices , 2008, Fuzzy Sets Syst..

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

[4]  Jerry M. Mendel,et al.  Advances in type-2 fuzzy sets and systems , 2007, Inf. Sci..

[5]  A. Heyting.  Die formalen Regeln der intuitionistischen Logik , 1930 .

[6]  Jirí Rachunek,et al.  Fuzzy filters and fuzzy prime filters of bounded R , 2008, Inf. Sci..

[7]  Kaitai Li,et al.  Fuzzy filters of BL-algebras , 2005, Inf. Sci..

[8]  Kaitai Li,et al.  Boolean filters and positive implicative filters of residuated lattices , 2007, Inf. Sci..

[9]  Michael Dummett,et al.  A propositional calculus with denumerable matrix , 1959, Journal of Symbolic Logic (JSL).

[10]  Chris Cornelis,et al.  A characterization of interval-valued residuated lattices , 2008, Int. J. Approx. Reason..

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

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

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

[14]  Young Bae Jun,et al.  Fuzzy filters of MTL-algebras , 2005, Inf. Sci..

[15]  W. TanW.,et al.  Uncertain Rule-Based Fuzzy Logic Systems , 2007 .

[16]  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 .

[17]  Siegfried Gottwald,et al.  Mathematical fuzzy logic as a tool for the treatment of vague information , 2005, Inf. Sci..

[18]  Esko Turunen,et al.  Boolean deductive systems of BL-algebras , 2001, Arch. Math. Log..

[19]  Lotfi A. Zadeh,et al.  The Concepts of a Linguistic Variable and its Application to Approximate Reasoning , 1975 .

[20]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .

[21]  Mai Gehrke,et al.  Some comments on interval valued fuzzy sets , 1996, Int. J. Intell. Syst..

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

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

[24]  R. P. Dilworth,et al.  Residuated Lattices. , 1938, Proceedings of the National Academy of Sciences of the United States of America.

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

[26]  Chris Cornelis,et al.  The pseudo-linear semantics of interval-valued fuzzy logics , 2009, Inf. Sci..

[27]  E. V. Huntington.  Sets of independent postulates for the algebra of logic , 1904 .

[28]  Li Kaitai,et al.  Boolean filters and positive implicative filters of residuated lattices , 2007 .