کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
12235856 | 685009 | 2018 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Locally complete consistent F-augmented contexts: A category-theoretic representation of algebraic L-domains
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
In this paper, we demonstrate the capability of formal concept analysis in representing a special partially ordered structures named algebraic L-domains. In particular, we introduce the notion of locally complete consistent F-augmented contexts and prove that its associated category with F-approximable connections as morphisms is precisely equivalent to that of algebraic L-domains with Scott continuous functions as morphisms. This result provides a concrete representation of algebraic L-domains via formal concept analysis as an efficient approach.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Discrete Applied Mathematics - Volume 249, 20 November 2018, Pages 53-63
Journal: Discrete Applied Mathematics - Volume 249, 20 November 2018, Pages 53-63
نویسندگان
Lankun Guo, Qingguo Li, Lingjuan Yao,