Atomicity, coherence of information, and point-free structures

Karádais, Basil A. (2016): Atomicity, coherence of information, and point-free structures. In: Annals of Pure and Applied Logic, Bd. 167, Nr. 9: S. 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.

• Dokumententyp: Zeitschriftenartikel
• Fakultät: Mathematik, Informatik und Statistik > Mathematik
• Themengebiete: 500 Naturwissenschaften und Mathematik > 510 Mathematik
• ISSN: 0168-0072
• Sprache: Englisch