Topological systems as a framework for institutions

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26210%2F16%3APU119474" target="_blank" >RIV/00216305:26210/16:PU119474 - isvavai.cz</a>

Result on the web

<a href="http://dx.doi.org/10.1016/j.fss.2015.08.009" target="_blank" >http://dx.doi.org/10.1016/j.fss.2015.08.009</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.fss.2015.08.009" target="_blank" >10.1016/j.fss.2015.08.009</a>

Result language

angličtina

Original language name

Topological systems as a framework for institutions

Original language description

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.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

10101 - Pure mathematics

Project

<a href="/en/project/GF15-34697L" target="_blank" >GF15-34697L: New perspectives on residuated posets</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2016

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Fuzzy Sets and Systems

ISSN

0165-0114

e-ISSN

1872-6801

Volume of the periodical

298

Issue of the periodical within the volume

1

Country of publishing house

NL - THE KINGDOM OF THE NETHERLANDS

Number of pages

17

Pages from-to

91-108

UT code for WoS article

000376779800007

EID of the result in the Scopus database

2-s2.0-84940068836