framework
pending-review
framework:complete-latticesComplete Lattices
2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.mdFrontmatter (12 fields)
{
"author": null,
"context": "Central mathematical structure explored throughout the paper; ordered sets with special properties for all suprema and infima.",
"category": "mathematics|systems",
"enrichment": {
"is_stale": true
},
"norm_label": "Complete Lattices",
"source_url": null,
"graphify_id": "complete_lattices",
"source_file": "2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.md",
"imported_from": "/Users/antonborzov/Documents/Research.nosync/papers/extract_typed_out/2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3/graph.json",
"extracted_type": "framework",
"source_location": "§1, §4",
"graphify_file_type": "framework"
}Outgoing (2)
Associated with (2)
- Closure Operator(concept)
- Galois Connections(framework)
Incoming (3)
Cited by (1)
- Powerset with Inclusion Order(concept)
Implemented by (1)
- Domain theory(paper)
studies (1)
- Hilary A. Priestley(concept)
Mentions (2)
- alexander-typed
2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.md - papers-typed
2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.md