Přístupnostní navigace
E-application
Search Search Close
Publication detail
Denniston Jeffrey, Melton Austin, Rodabaugh Stephen, Solovjovs Sergejs
Original Title
Topological systems as a framework for institutions
Type
journal article in Web of Science
Language
English
Original 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
Adjoint situation; Affine theory; Comma category; Elementary institution; Localification and spatialization procedure; Topological institution; Topological space; Topological system; Variety of algebras
Authors
Released
1. 9. 2016
Publisher
ELSEVIER SCIENCE BV
Location
NETHERLANDS
ISBN
0165-0114
Periodical
Fuzzy Sets and Systems
Year of study
298
Number
1
State
Kingdom of the Netherlands
Pages from
91
Pages to
108
Pages count
17
BibTex
@article{BUT126463, author="Sergejs {Solovjovs}", title="Topological systems as a framework for institutions", journal="Fuzzy Sets and Systems", year="2016", volume="298", number="1", pages="91--108", doi="10.1016/j.fss.2015.08.009", issn="0165-0114" }