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 |