m-Algebraic lattices in formal concept analysis

DOI10.1017/S0960129519000124zbMath1434.68565OpenAlexW2967662855MaRDI QIDQ5108534

Zhongxi Zhang, Nan Zhang, Qing-Guo Li

Publication date: 4 May 2020

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129519000124

zbMATH Keywords

formal concept analysiscategorical equivalenceCartesian closed category\(m\)-algebraic lattice\(m\)-approximable concept

Mathematics Subject Classification ID

Knowledge representation (68T30) Complete lattices, completions (06B23) Representation theory of lattices (06B15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cites Work

• Proof rules and transformations dealing with fairness
• Petri nets, event structures and domains. I
• A representation of \({\mathfrak m}\)-algebraic lattices
• All Cartesian closed categories of quasicontinuous domains consist of domains
• The category of supercontinuous posets
• Weak Approximable Concepts and Completely Algebraic Lattices
• On the Development of the Notion of a Cardinal Number
• Countable nondeterminism and random assignment
• Continuous Lattices and Domains
• Conceptual Structures at Work
• Completely Distributive Complete Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item