کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
389464 | 661146 | 2016 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Topological systems as a framework for institutions
ترجمه فارسی عنوان
سیستم های توپولوژیکی به عنوان یک چارچوب برای موسسات
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
وضعیت الحاقی؛ نظریه تکراری؛ دسته کاما؛ موسسه ابتدایی؛ روش فضایی ؛ موسسه توپولوژیکی؛ فضای توپولوژیک؛ سیستم توپولوژیکی؛ انواع جبری
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
Recently, J.T. Denniston, A. Melton, and S.E. Rodabaugh introduced a lattice-valued analogue of the concept of institution of J.A. Goguen and R.M. Burstall, comparing it, moreover, with the (lattice-valued version of the) notion of topological system of S. Vickers. In this paper, we show that a suitable generalization of topological systems provides a convenient framework for certain kinds of (lattice-valued) institutions.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Fuzzy Sets and Systems - Volume 298, 1 September 2016, Pages 91–108
Journal: Fuzzy Sets and Systems - Volume 298, 1 September 2016, Pages 91–108
نویسندگان
Jeffrey T. Denniston, Austin Melton, Stephen E. Rodabaugh, Sergey A. Solovyov,