Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661565 | Annals of Pure and Applied Logic | 2016 | 17 Pages |
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
Basil A. Karádais,