کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
389464 661146 2016 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Topological systems as a framework for institutions
ترجمه فارسی عنوان
سیستم های توپولوژیکی به عنوان یک چارچوب برای موسسات
کلمات کلیدی
وضعیت الحاقی؛ نظریه تکراری؛ دسته کاما؛ موسسه ابتدایی؛ روش فضایی ؛ موسسه توپولوژیکی؛ فضای توپولوژیک؛ سیستم توپولوژیکی؛ انواع جبری
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
چکیده انگلیسی

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
نویسندگان
, , , ,