On the axioms of residuated structures: Independence, dependencies and rough approximations

Fundamenta Informaticae

Volumn 69, Issue 4, 2006, Pages 359-387

  Ciucci, Davide ^a  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; APPROXIMATION THEORY;

AXIOMS; RESIDUATED STRUCTURES; ROUGH APPROXIMATIONS;

MATHEMATICAL MORPHOLOGY;

EID: 33644624308     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (29)

1. Agliano, P., Montagna, F.: Varieties of BL algebras I: general properties, Journal of Pure and Applied Algebra, 181, 2003, 105-129.
2. Baaz, M.: Infinite-valued Gödel Logics with 0-1 Projections and Relativizations, GÖDEL96-Logical Foundations of Mathematics, Computer Science and Physics (P. Hájek, Ed.), Springer-Verlag, 1996, 23-33.
3. Birkhoff, G.: Lattice Theory, vol. XXV of American Mathematical Society Colloquium Publication, Third edition, American Mathematical Society, Providence, Rhode Island, 1967.
4. Blok, W., Ferreirim, I.: On the structure of hoops, Algebra Universalis, 43, 2000, 233-257.
5. Blount, K., Tsinakis, C.: The structure of residuated lattices, International Journal of Algebra and Computation, 13(4), 2003, 437-461.
6. Cattaneo, G., Ciucci, D.: Heyting Wajsberg algebras as an abstract environment linking fuzzy and rough sets, Lecture Notes in Artificial Intelligence, 2475, 2002, 77-84.
7. Cattaneo, G., Ciucci, D.: Intuitionistic Fuzzy Sets or Orthopair Fuzzy Sets?, University of Applied Sciences of Zittau-Goerlitz, 2003, Proceedings of International Conference in Fuzzy Logic and Technology (EUSFLAT03), 2003, 153-158.
8. Cattaneo, G., Ciucci, D.: Shadowed sets and related algebraic structures, Fundamenta Informaticae, 55(3-4), 2003, 255-284.
9. Cattaneo, G., Ciucci, D.: Algebraic structures for rough sets, in: Fuzzy Rough Sets (D. Dubois, J. Gryzmala-Busse, M. Inuiguchi, L. Polkowski, Eds.), vol. 3135 of LNCS - Transactions on Rough Sets, Springer Verlag, 2004, 218-264.
10. Cattaneo, G., Ciucci, D., Giuntini, R., Konig, M.: Algebraic Structures Related to Many Valued Logical Systems. Part I: Heyting Wajsberg Algebras, Fundamenta Informaticae, 63(4), 2004, 331-355.
11. Cattaneo, G., Ciucci, D., Giuntini, R., Konig, M.: Algebraic Structures Related to Many Valued Logical Systems. Part II: Equivalence Among some Widespread Structures, Fundamenta Informaticae, 63(4), 2004, 357-373.
12. Cattaneo, G., Lombardo, F.: Independent axiomatization of MV-algebras, Tatra Mountains Mathematical Publication, 15, 1998, 227-232, Special Issue: Quantum Structures II, Dedicated to Gudrun Kalmbach.
13. Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic Fuzzy Logic is the logic of continuous t-norms and their residua, Soft Computing, 4, 2000, 106-112.
14. Di Nola, A., Gerla, G., Eds.: Lectures on Soft Computing and Fuzzy Logic, Physica-Verlag, 2001.
15. Esteva, F., Godo, L., Hájek, P., Navara, M.: Residuated Fuzzy logics with an involutive negation, Archive for Mathematical Logic, 39, 2000, 103-124.
16. Esteva, F., Godo, L., Montagna, F.: Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras, Studia Logica, 76, 2004, 161-200.
17. Galatos, N., Raftery, J.: Adding Involution to Residuated Structures, Studia Logica, 77, 2004, 181-207.
18. Hájek, P.: Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, 1998.
19. Klement, E. P., Mesiar, R., Pap, E.: Triangular Norms, Kluwer Academic, Dordrecht, 2000.
20. Mangani, G. C.: On certain algebras related to many valued logics, Boll. Un. Mat. Ital., 8, 1973, 68-78, (Italian).
21. Δ Algebras, in: Di Nola and Gerla [14], 2001, 159-171.
22. Monteiro, A.: Axiomes Independants pour les Algebres de Brouwer, Revista de la Unión matematica Argentina y de la Asociación Fisica Argentina, 17, 1955, 149-160.
23. Monteiro, A.: Sur Les Algèbres de Heyting symétriques, Portugaliae Mathematica, 39, 1980, 1-237.
24. Radzikowska, A., Kerre, E.: A comparative study of fuzzy rough sets, Fuzzy Sets and Systems, 126(2), 2002, 137-155.
25. Radzikowska, A., Kerre, E.: On L-Fuzzy Rough Sets, ICAISC 2004 Proceedings, Lecture Notes in Artificial Intelligence, 3070, Springer-Verlag, 2004, 526-531.
26. Surma, S.: Logical Works, Polish Academy of Sciences, Wroclaw, 1977.
27. Wajsberg, M.: Aksjomatyzacja trówartościowego rachunkuzdań [Axiomatization of the three-valued propositional calculus], Comptes Rendus des Séances de la Societé des Sciences et des Lettres de Varsovie, 24, 1931, 126-148, English Translation in [26].
28. Wajsberg, M.: Beiträge zum Metaaussagenkalkül I, Monashefte fur Mathematik un Physik, 42, 1935, 221-242, English Translation in [26].
29. Ward, M., Dilworth, R.: Residuated Lattices, Transactions of the American Mathematical Society, 45(3), 1939, 335-354.