Heyting Wajsberg (HW) algebras are introduced as algebraic models of a logic equipped with two implication connectives, the Heyting one linked to the intuitionistic logic and the Wajsberg one linked to the Lukasiewicz approach to many-valued logic. On the basis of an HW algebra it is possible to obtain a de Morgan Brouwer-Zadeh (BZ) distributive lattice with respect to the partial order induced from the Lukasiewicz implication. Modal-like operators are also defined generating a rough approximation space. It is shown that standard Pawlak approach to rough sets is a model of this structure
Cattaneo, G., & Ciucci, D. (2002). Heyting Wajsberg algebras as an abstract environment linking fuzzy and rough sets. In Rough sets and current trends in computing - Proceedings (pp.77-84). SPRINGER-VERLAG [10.1007/3-540-45813-1_10].
Citazione: | Cattaneo, G., & Ciucci, D. (2002). Heyting Wajsberg algebras as an abstract environment linking fuzzy and rough sets. In Rough sets and current trends in computing - Proceedings (pp.77-84). SPRINGER-VERLAG [10.1007/3-540-45813-1_10]. | |
Tipo: | paper | |
Carattere della pubblicazione: | Scientifica | |
Presenza di un coautore afferente ad Istituzioni straniere: | No | |
Titolo: | Heyting Wajsberg algebras as an abstract environment linking fuzzy and rough sets | |
Autori: | Cattaneo, G; Ciucci, D | |
Autori: | ||
Data di pubblicazione: | 2002 | |
Lingua: | English | |
Nome del convegno: | International Conference on Rough Sets and Current Trends in Computing, RSCTC 2002 14 - 16 October | |
ISBN: | 978-3-540-44274-5 | |
Serie: | LECTURE NOTES IN COMPUTER SCIENCE | |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/3-540-45813-1_10 | |
Appare nelle tipologie: | 02 - Intervento a convegno |