Atomicity, coherence of information, and point-free structures

DOI10.1016/j.apal.2016.04.012zbMath1348.68112OpenAlexW2346559250MaRDI QIDQ290637

Basil A. Karádais

Publication date: 3 June 2016

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.2016.04.012

zbMATH Keywords

coherencesemanticsinformation systemsdomain theoryformal topology

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (2)

Normal forms, linearity, and prime algebraicity over nonflat domains ⋮ Nonflatness and totality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A constructive and functorial embedding of locally compact metric spaces into locales
• \(\mathbb{T}^\omega\) as a universal domain
• \(dI\)--domains as prime information systems
• Constructive domain theory as a branch of intuitionistic pointfree topology
• Some points in formal topology.
• Apartness and Uniformity
• Proofs and Computations
• The Category-Theoretic Solution of Recursive Domain Equations
• Bases for Chain-complete Posets
• Continuous domains as formal spaces
• Continuous Lattices and Domains

This page was built for publication: Atomicity, coherence of information, and point-free structures