Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
389464 | Fuzzy Sets and Systems | 2016 | 18 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Jeffrey T. Denniston, Austin Melton, Stephen E. Rodabaugh, Sergey A. Solovyov,