Lattice-valued preordered sets as lattice-valued topological systems

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F15%3A00082330" target="_blank" >RIV/00216224:14310/15:00082330 - isvavai.cz</a>

Výsledek na webu

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

DOI - Digital Object Identifier

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

Jazyk výsledku

angličtina

Název v původním jazyce

Lattice-valued preordered sets as lattice-valued topological systems

Popis výsledku v původním jazyce

This paper provides variable-basis lattice-valued analogues of the well-known results that the construct Prost of preordered sets, firstly, is concretely isomorphic to a full concretely coreflective subcategory of the category Top of topological spaces (which employs the concept of the dual of the specialization preorder), and, secondly, is (non-concretely) isomorphic to a full coreflective subcategory of the category TopSys of topological systems of S. Vickers (which employs the spatialization procedure for topological systems). Dualizing these results, one arrives at the similar properties of quasi-pseudo-metric spaces built over locales.

Název v anglickém jazyce

Lattice-valued preordered sets as lattice-valued topological systems

Popis výsledku anglicky

This paper provides variable-basis lattice-valued analogues of the well-known results that the construct Prost of preordered sets, firstly, is concretely isomorphic to a full concretely coreflective subcategory of the category Top of topological spaces (which employs the concept of the dual of the specialization preorder), and, secondly, is (non-concretely) isomorphic to a full coreflective subcategory of the category TopSys of topological systems of S. Vickers (which employs the spatialization procedure for topological systems). Dualizing these results, one arrives at the similar properties of quasi-pseudo-metric spaces built over locales.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/EE2.3.20.0051" target="_blank" >EE2.3.20.0051: Algebraické metody v kvantové logice</a><br>

Návaznosti

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

Rok uplatnění

2015

Kód důvěrnosti údajů

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

Název periodika

Fuzzy Sets and Systems

ISSN

0165-0114

e-ISSN

—

Svazek periodika

259

Číslo periodika v rámci svazku

January

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

22

Strana od-do

89-110

Kód UT WoS článku

000345440400009

EID výsledku v databázi Scopus

—