Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
Denniston Jeffrey, Melton Austin, Rodabaugh Stephen, Solovjovs Sergejs
Originální název
Topological systems as a framework for institutions
Typ
článek v časopise ve Web of Science, Jimp
Jazyk
angličtina
Originální abstrakt
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.
Klíčová slova
Adjoint situation; Affine theory; Comma category; Elementary institution; Localification and spatialization procedure; Topological institution; Topological space; Topological system; Variety of algebras
Autoři
Vydáno
1. 9. 2016
Nakladatel
ELSEVIER SCIENCE BV
Místo
NETHERLANDS
ISSN
0165-0114
Periodikum
Fuzzy Sets and Systems
Ročník
298
Číslo
1
Stát
Nizozemsko
Strany od
91
Strany do
108
Strany počet
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" }