Karádais, Basil A.
(2016):
Atomicity, coherence of information, and point-free structures.
In: Annals of Pure and Applied Logic, Vol. 167, No. 9: pp. 753-769
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. (C) 2016 Elsevier B.V. All rights reserved.
| Item Type: | Journal article |
|---|---|
| Faculties: | Mathematics, Computer Science and Statistics > Mathematics |
| Subjects: | 500 Science > 510 Mathematics |
| ISSN: | 0168-0072 |
| Language: | English |
| Item ID: | 47318 |
| Date Deposited: | 27. Apr 2018 08:12 |
| Last Modified: | 04. Nov 2020 13:24 |
