Topological systems as a framework for institutions

详细信息    查看全文

• 作者：Jeffrey T. Denniston^a ; ^{jdennist@kent.edu" class="auth_mail" title="E-mail the corresponding author} ; Austin Melton^b ; ^{amelton@kent.edu" class="auth_mail" title="E-mail the corresponding author} ; Stephen E. Rodabaugh^c ; ^{serodabaugh@ysu.edu" class="auth_mail" title="E-mail the corresponding author} ; Sergey A. Solovyov^d ; ¹ ; ^{solovjovs@fme.vutbr.cz" class="auth_mail" title="E-mail the corresponding author}
• 关键词：Adjoint situation ; Affine theory ; Comma category ; Elementary institution ; Localification and spatialization procedure ; Topological institution ; Topological space ; Topological system ; Variety of algebras
• 刊名：Fuzzy Sets and Systems
• 出版年：2016
• 出版时间：1 September 2016
• 年：2016
• 卷：298
• 期：Complete
• 页码：91-108
• 全文大小：406 K

文摘

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.