Heyting algebras with Boolean operators for rough sets and information retrieval applications
From MaRDI portal
Publication:2478438
DOI10.1016/j.dam.2007.08.050zbMath1134.06007MaRDI QIDQ2478438
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
rough sets; Heyting algebras; information retrieval; many-valued logics; query expansion; implicative relations
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