Detail publikace

Topological systems as a framework for institutions

Denniston Jeffrey, Melton Austin, Rodabaugh Stephen, Solovjovs Sergejs

Anglický název

Topological systems as a framework for institutions

Typ

článek v časopise ve Web of Science, Jimp

Jazyk

en

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.

Anglický 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 anglicky

Adjoint situation; Affine theory; Comma category; Elementary institution; Localification and spatialization procedure; Topological institution; Topological space; Topological system; Variety of algebras

Vydáno

01.09.2016

Nakladatel

ELSEVIER SCIENCE BV

Místo

NETHERLANDS

ISSN

0165-0114

Ročník

298

Číslo

1

Strany od–do

91–108

Počet stran

17

BIBTEX


@article{BUT126463,
  author="Sergejs {Solovjovs},
  title="Topological systems as a framework for institutions",
  year="2016",
  volume=" 298",
  number="1",
  month="September",
  pages="91--108",
  publisher="ELSEVIER SCIENCE BV",
  address="NETHERLANDS",
  issn="0165-0114"
}