Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains

DOI10.1016/j.dam.2017.12.016zbMath1398.68515OpenAlexW2781776811MaRDI QIDQ1800385

Lingjuan Yao, Lankun Guo, Qing-Guo Li

Publication date: 23 October 2018

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

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

zbMATH Keywords

category equivalencealgebraic L-domainlocally complete consistent F-augmented context

Mathematics Subject Classification ID

Knowledge representation (68T30) Continuous lattices and posets, applications (06B35)

Related Items (3)

A set-theoretic representation of algebraic L-domains ⋮ A representation of FS-domains by formal concept analysis ⋮ A representation of continuous lattices based on closure spaces

Uses Software

• ALGOL 60

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cartesian closed categories of algebraic cpos
• Rough concept lattices and domains
• A topological representation of lattices
• A topological representation theory for lattices
• Continuous Lattices and Domains
• Correspondence between ALGOL 60 and Church's Lambda-notation
• Representation of Distributive Lattices by means of ordered Stone Spaces

This page was built for publication: Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains