Rough concept lattices and domains

DOI10.1016/j.apal.2008.09.028zbMath1169.06004MaRDI QIDQ1023298

Yinbin Lei, Mao-Kang Luo

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

zbMATH Keywords

Galois connection; information system; representation theorems; algebraic lattice; Scott domain; rough approximable concept

Mathematics Subject Classification ID

06B23: Complete lattices, completions

06B15: Representation theory of lattices

06B35: Continuous lattices and posets, applications

Related Items

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, 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