Atomicity, coherence of information, and point-free structures

DOI10.1016/J.APAL.2016.04.012zbMATH Open1348.68112OpenAlexW2346559250MaRDI QIDQ290637FDOQ290637

Authors Basil 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

coherencesemanticsdomain theoryinformation systemsformal topology

Mathematics Subject Classification ID

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

Recommendations

• A note on finitely derived information systems
• Categorical domain theory: Scott topology, powercategories, coherent categories
• scientific article; zbMATH DE number 1531375
• Information systems revisited -- the general continuous case
• Continuous Lattices and Domains

Cites work

• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 3858394 (Why is no real title available?)
• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 107999 (Why is no real title available?)
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1531375 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 7308469 (Why is no real title available?)
• A constructive and functorial embedding of locally compact metric spaces into locales
• Apartness and uniformity. A constructive development.
• Bases for Chain-complete Posets
• Constructive domain theory as a branch of intuitionistic pointfree topology
• Continuous Lattices and Domains
• Continuous domains as formal spaces
• Proofs and computations
• Recursion on the partial continuous functionals
• Some points in formal topology.
• The Category-Theoretic Solution of Recursive Domain Equations
• Towards a formal theory of computability
• \(\mathbb{T}^\omega\) as a universal domain
• \(dI\)--domains as prime information systems

Cited in

(3)

• Normal forms, linearity, and prime algebraicity over nonflat domains
• Nonflatness and totality
• Extended minimal atomicity through nondifferentiability: a mathematical-physical approach

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q290637)