کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4661565 1344843 2016 17 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Atomicity, coherence of information, and point-free structures
ترجمه فارسی عنوان
ظرفیت اتمی، انسجام اطلاعات و ساختارهای بدون نقطه
کلمات کلیدی
نظریه دامنه؛ سیستم های اطلاعاتی؛ توپولوژی رسمی؛ انسجام؛ معنی شناسی
68Q55; 54A05; 06B35; 18B30Domain theory; Information systems; Formal topology; Coherence; Semantics
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 9, September 2016, Pages 753–769
نویسندگان
,