کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661565 1633438 2016 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Atomicity, coherence of information, and point-free structures
ترجمه فارسی عنوان
ظرفیت اتمی، انسجام اطلاعات و ساختارهای بدون نقطه
کلمات کلیدی
نظریه دامنه؛ سیستم های اطلاعاتی؛ توپولوژی رسمی؛ انسجام؛ معنی شناسی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

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
نویسندگان
,