Rough concept lattices and domains
From MaRDI portal
Publication:1023298
DOI10.1016/j.apal.2008.09.028zbMath1169.06004MaRDI QIDQ1023298
Publication date: 11 June 2009
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2008.09.028
Galois connection; information system; representation theorems; algebraic lattice; Scott domain; rough approximable concept
06B23: Complete lattices, completions
06B15: Representation theory of lattices
06B35: Continuous lattices and posets, applications
Related Items
Unnamed Item, Unnamed Item, Multi-adjoint property-oriented and object-oriented concept lattices, Formal query systems on contexts and a representation of algebraic lattices, On multi-adjoint concept lattices based on heterogeneous conjunctors, On the order-theoretic properties of lower concept formula systems, Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains, Possibility-theoretic extension of derivation operators in formal concept analysis over fuzzy lattices, New representations of algebraic domains and algebraic L-domains via closure systems, Rough-set concept analysis: interpreting RS-definable concepts based on ideas from formal concept analysis, Multi-adjoint concept lattices with heterogeneous conjunctors and hedges., Revising the link between \(L\)-Chu correspondences and completely lattice \(L\)-ordered sets., Multi-adjoint t-concept lattices, A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis, A categorical representation of algebraic domains based on variations of rough approximable concepts, On homogeneousL-bonds and heterogeneousL-bonds, On Rough Concept Lattices, OnL-fuzzy Chu correspondences
Cites Work
- Chu spaces, concept lattices, and domains
- Domain theory in logical form
- Rough sets
- Continuous Lattices and Domains
- Conceptual Structures at Work
- Rough Sets and Current Trends in Computing
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item