Article ID Journal Published Year Pages File Type
4661565 Annals of Pure and Applied Logic 2016 17 Pages PDF
Abstract

We prove basic facts about the properties of atomicity and coherence for Scott information systems, and we establish direct connections between coherent information systems and well-known point-free structures.

Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
,