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].
Heyting Wajsberg algebras as an abstract environment linking fuzzy and rough sets
CATTANEO, GIANPIERO;CIUCCI, DAVIDE ELIO
2002
Abstract
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
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
