کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
12235856 685009 2018 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Locally complete consistent F-augmented contexts: A category-theoretic representation of algebraic L-domains
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Locally complete consistent F-augmented contexts: A category-theoretic representation of algebraic L-domains
چکیده انگلیسی
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
نویسندگان
, , ,