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

DOI10.1016/j.dam.2007.08.050zbMath1134.06007MaRDI QIDQ2478438

Eric Sanjuan

Publication date: 28 March 2008

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.dam.2007.08.050

zbMATH Keywords

rough sets; Heyting algebras; information retrieval; many-valued logics; query expansion; implicative relations

Mathematics Subject Classification ID

68T30: Knowledge representation

68T37: Reasoning under uncertainty in the context of artificial intelligence

06D20: Heyting algebras (lattice-theoretic aspects)

68P20: Information storage and retrieval of data

03B50: Many-valued logic

08A72: Fuzzy algebraic structures

Related Items

Unnamed Item, Unnamed Item, Localization of \(k\times j\)-rough Heyting algebras, Monadic \(k\times j\)-rough Heyting algebras, Generalized interval-valued fuzzy variable precision rough sets determined by fuzzy logical operators

Cites Work

• Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability
• Variable precision rough set model
• The lattice theory of \(r\)-ordered partitions
• Classification and dissimilarity analysis
• A logic for rough sets
• Varieties of monadic Heyting algebras. I
• Symmetrical Heyting algebras with a finite order type of operators
• Optimal natural dualities for varieties of Heyting algebras
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
• A non-classical logic for information retrieval
• Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
• Rough sets and three-valued structures
• Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item