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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• \(dI\)--domains as prime information systems
• Title not available (Why is that?)
• Proofs and computations
• Title not available (Why is that?)
• The Category-Theoretic Solution of Recursive Domain Equations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• \(\mathbb{T}^\omega\) as a universal domain
• Some points in formal topology.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructive domain theory as a branch of intuitionistic pointfree topology
• Towards a formal theory of computability
• Apartness and uniformity. A constructive development.
• Title not available (Why is that?)
• Bases for Chain-complete Posets
• Continuous domains as formal spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Recursion on the partial continuous functionals
• A constructive and functorial embedding of locally compact metric spaces into locales

Cited In (3)

• Nonflatness and totality
• Normal forms, linearity, and prime algebraicity over nonflat domains
• 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)