کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661565 | 1633438 | 2016 | 17 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Atomicity, coherence of information, and point-free structures
ترجمه فارسی عنوان
ظرفیت اتمی، انسجام اطلاعات و ساختارهای بدون نقطه
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
نظریه دامنه؛ سیستم های اطلاعاتی؛ توپولوژی رسمی؛ انسجام؛ معنی شناسی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
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
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 9, September 2016, Pages 753–769
نویسندگان
Basil A. Karádais,