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

Authors:
Davide Ciucci
Affiliations:
Dip. di Informatica Sistemistica e Comunicazione, Università di Milano - Bicocca, Via Bicocca degli Arcimboldi 8, 20126 Milano, Italia. E-mail: ciucci@disco.unimib.it
Venue:
Fundamenta Informaticae
Year:
2006

Citing 7
Cited 1

Lectures on Soft Computing and Fuzzy Logic

Lectures on Soft Computing and Fuzzy Logic
A comparative study of fuzzy rough sets

Fuzzy Sets and Systems
Heyting Wajsberg Algebras as an Abstract Environment Linking Fuzzy and Rough Sets

TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Algebraic structures for rough sets

Transactions on Rough Sets II
Algebraic Structures Related to Many Valued Logical Systems. Part I: Heyting Wajsberg Algebras

Fundamenta Informaticae
Algebraic Structures Related to Many Valued Logical Systems. Part II: Equivalence Among some Widespread Structures

Fundamenta Informaticae
Shadowed Sets and Related Algebraic Structures

Fundamenta Informaticae

On the Axiomatic System of SBL¬algebras

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.