On the Axioms of Residuated Structures: Independence, Dependencies and Rough Approximations

Several residuated algebras are taken into account. The set of axioms defining each structure is reduced with the aim to obtain an independent axiomatization. Further, the relationship among all the algebras is studied and their dependencies outlined. Finally, rough approximation spaces are introduced in residuated lattices with involution and their algebraic structure outlined.

[1]  Gianpiero Cattaneo,et al.  Algebraic Structures Related to Many Valued Logical Systems. Part I: Heyting Wajsberg Algebras , 2004, Fundam. Informaticae.

[2]  A. Monteiro,et al.  Axiomes independants pour les algèbres de Brouwer , 1955 .

[3]  Gianpiero Cattaneo,et al.  Shadowed Sets and Related Algebraic Structures , 2002, Fundam. Informaticae.

[4]  A. Monteiro.  Sur les algèbres de Heyting symétriques , 1980 .

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

[6]  Petr Hájek,et al.  Residuated fuzzy logics with an involutive negation , 2000, Arch. Math. Log..

[7]  M. Wajsberg.  Beiträge zum Metaaussagenkalkül I , 1935 .

[8]  Anna Maria Radzikowska,et al.  On L-Fuzzy Rough Sets , 2004, ICAISC.

[9]  W. Blok,et al.  On the structure of hoops , 2000 .

[10]  Constantine Tsinakis,et al.  The Structure of Residuated Lattices , 2003, Int. J. Algebra Comput..

[11]  Helmuth Gericke.  Monteiro Antonio. Axiomes indépendants pour les algèbres de Brouwer. Revista de la Unión Matemática Argentina y de la Asociación Física Argentina, Bd. 17 (1955), S. 149–160. , 1958 .

[12]  Francesc Esteva,et al.  Review of Triangular norms by E. P. Klement, R. Mesiar and E. Pap. Kluwer Academic Publishers , 2003 .

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

[14]  Anna Maria Radzikowska,et al.  A comparative study of fuzzy rough sets , 2002, Fuzzy Sets Syst..

[15]  Franco Montagna,et al.  Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras , 2004, Stud Logica.

[16]  Lluis Godo,et al.  Basic Fuzzy Logic is the logic of continuous t-norms and their residua , 2000, Soft Comput..

[17]  Gianpiero Cattaneo,et al.  Heyting Wajsberg Algebras as an Abstract Environment Linking Fuzzy and Rough Sets , 2002, Rough Sets and Current Trends in Computing.

[18]  P. Aglianò,et al.  Varieties of BL- algebras I: General properties. , 2003 .

[19]  M. Baaz.  Infinite-valued Gödel logics with $0$-$1$-projections and relativizations , 1996 .

[20]  James G. Raftery,et al.  Adding Involution to Residuated Structures , 2004, Stud Logica.

[21]  Franco Montagna.  Free BLΔ Algebras , 2001 .

[22]  Gianpiero Cattaneo,et al.  Algebraic Structures Related to Many Valued Logical Systems. Part II: Equivalence Among some Widespread Structures , 2004, Fundam. Informaticae.

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

[24]  Gianpiero Cattaneo,et al.  Algebraic Structures for Rough Sets , 2004, Trans. Rough Sets.