کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
435010 | 689850 | 2011 | 10 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Canonical extensions and canonicity via dcpo presentations
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
The canonical extension of a lattice is in an essential way a two-sided completion. Domain theory, in contrast, is primarily concerned with one-sided completeness. In this paper, we show two things. First, we show that the canonical extension of a lattice can be given an asymmetric description in two stages: a free co-directed meet completion, followed by a completion by selected directed joins. Second, we show that the general techniques for directed complete partial order (dcpo) presentations of dcpo algebras used in the second stage of the construction immediately give us the well-known canonicity result for bounded lattices with operators.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 412, Issue 25, 3 June 2011, Pages 2714-2723
Journal: Theoretical Computer Science - Volume 412, Issue 25, 3 June 2011, Pages 2714-2723