Heyting algebras with Boolean operators for rough sets and information retrieval applications

Abstract

This paper presents an algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in general and on generalizations of rough set concepts in particular. We argue that these generalizations are suitable for modeling relevance of documents in an information retrieval system. © 2007 Elsevier B.V. All rights reserved.