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
No
paper
Scientifica
Heyting algebra; Wajsberg algebra; fuzzy sets; rough approximation space; rough sets
English
International Conference on Rough Sets and Current Trends in Computing, RSCTC 2002 14 - 16 October
978-3-540-44274-5
http://www.springerlink.com/content/nr9t8ve3qkd5a5j0/
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].
Cattaneo, G; Ciucci, D
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10281/4726
Citazioni
  • Scopus 22
  • ???jsp.display-item.citation.isi??? 19
Social impact